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

 

  • 类型批注和编译时类型检查
      类型检查的作用：辅助开发，提高开发效率。
      基本类型的批注是number,bool,string,弱类型或动态类型的结构可以是任意类型。 
      将类型批注导出到一个单独的文件，方便使用类型已经被编译成为js的ts脚本的类型信息可用。批注可以为一个现有的js库声明。就像已经为node.js和jquery.js所做的那样。
      当没有给出类型时，TS编译器利用类型推断类型。如果因为没有声明，而导致没有类型可以推断出。那么它就默认是任意类型
  • 类型推断

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

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