TypeScript 是 JavaScript 的超集，扩展了 JavaScript 的语法，因此现有的 JavaScript 代码可与 TypeScript 一起工作无需任何修改，TypeScript 通过类型注解提供编译时的静态类型检查。
- 类型批注和编译时类型检查
- 类型检查的作用：辅助开发，提高开发效率。
- 基本类型的批注是number,bool,string,弱类型或动态类型的结构可以是任意类型。
- 将类型批注导出到一个单独的文件，方便使用类型已经被编译成为js的ts脚本的类型信息可用。批注可以为一个现有的js库声明。就像已经为node.js和jquery.js所做的那样。
- 当没有给出类型时，TS编译器利用类型推断类型。如果因为没有声明，而导致没有类型可以推断出。那么它就默认是任意类型
- 类型推断
不需要指定变量的类型（函数的返回值类型），TS可以根据某些规则自动的为其推断出一个类型
- 类型擦除
- 接口
- 枚举
- Mixin
- 泛型编程
- 名字空间
- 元组
- Await
- 类
- 模块
- lambda 函数的箭头语法
- 可选参数以及默认参数