010-类型系统

• 基础数据类型
• 接口
• 函数类型与重载
• 联合类型与交叉类型
• 字面量类型
• 数组与元组类型
• 枚举
• 类型断言
• type 与 interface 的区别