TypeScript 是 JavaScript 的超集，扩展了 JavaScript 的语法，因此现有的 JavaScript 代码可与 TypeScript 一起工作无需任何修改，TypeScript 通过类型注解提供编译时的静态类型检查。

• 类型批注和编译时类型检查

  类型检查的作用：辅助开发，提高开发效率。

  基本类型的批注是number,bool,string,弱类型或动态类型的结构可以是任意类型。 

  将类型批注导出到一个单独的文件，方便使用类型已经被编译成为js的ts脚本的类型信息可用。批注可以为一个现有的js库声明。就像已经为node.js和jquery.js所做的那样。

  当没有给出类型时，TS编译器利用类型推断类型。如果因为没有声明，而导致没有类型可以推断出。那么它就默认是任意类型

• 类型推断

　　　　不需要指定变量的类型（函数的返回值类型），TS可以根据某些规则自动的为其推断出一个类型

• 类型擦除
• 接口
• 枚举
• Mixin
• 泛型编程
• 名字空间
• 元组
• Await
• 类
• 模块
• lambda 函数的箭头语法
• 可选参数以及默认参数