类型系统

• 基础类型
• 复合与间接类型
• 泛型
• 类型基础
• 类型定义与转换