TypeScript

• 原始类型和对象类型
• 字面量与枚举
• 函数与 class
• 内置类型与类型断言
• 创建与组合
• 类型保护
• 泛型
• 结构化类型系统
• 类型层级
• 条件类型与 infer
• 对象字面量额外属性检查