一、TypeScript 是什么

TypeScript 是 JavaScript 的类型的超集，支持ES6语法，支持面向对象编程的概念，如类、接口、继承、泛型等

超集，不得不说另外一个概念，子集，怎么理解这两个呢，举个例子，如果一个集合A里面的的所有元素集合B里面都存在，那么我们可以理解集合B是集合A的超集，集合A为集合B的子集

其是一种静态类型检查的语言，提供了类型注解，在代码编译阶段就可以检查出数据类型的错误

同时扩展了 JavaScript 的语法，所以任何现有的 JavaScript 程序可以不加改变的在 TypeScript 下工作

为了保证兼容性，typescript在编译阶段需要编译器编译成纯Javascript来运行，是为大型应用之开发而设计的语言，如下：

tsx文件如下：

const hello : string = "Hello World!"
console.log(hello)

编译文件后：

const hello = "Hello World!"
console.log(hello)

二、特性

typescript的特性主要有如下：

1. 类型批注和编译时类型检查 ： 在编译时批注变量类型
   
2. 类型推断：ts中没有批注变量类型会自动推断变量的类型
   
3. 类型擦除： 在编译过程中批注的内容和接口会在运行时利用工具擦除
   
4. 接口：ts中用接口来定义对象类型
   
5. 枚举： 用于取值被限定在一定范围内的场景
   
6. Mixin： 可以接受任意类型的值
   
7. 泛型编程： 写代码时使用一些以后才指定的类型
   
8. 名字空间： 名字只在该区域内有效，其他区域可重复使用该名字而不冲突
   

1. 元组： 元组合并了不同类型的对象，相当于一个可以装不同类型数据的数组
   

类型批注

通过类型批注提供在编译时启动类型检查的静态类型，这是可选的，而且可以忽略而使用JavaScript常规的动态类型

function Add(left: number, right: number): number {
 return left + right;
}

对于基本类型的批注是number、bool和string，而弱或动态类型的结构则是any类型

类型推断

当类型没有给出时，TypeScript编译器利用类型推断来推断类型，如下：

let str = 'string'

变量str被推断为字符串类型，这种推断发生在初始化变量和成员，设置默认参数值和决定函数返回值时

如果由于缺乏声明而不能推断出类型，那么它的类型被视作默认的动态any类型

接口

接口简单来说就是用来描述对象的类型 数据的类型有number、 null、 string等数据格式，对象的类型就是用接口来描述的

interface Person {
  name: string;
  age: number;
}
let tom: Person = {
 name: 'Tom',
 age: 25
};

三、区别

1. TypeScript 是 JavaScript 的超集，扩展了 JavaScript 的语法
2. TypeScript 可处理已有的 JavaScript 代码，并只对其中的 TypeScript 代码进行编译

1. TypeScript 文件的后缀名 .ts （.ts，.tsx，.dts），JavaScript 文件是 .js
2. 在编写 TypeScript 的文件的时候就会自动编译成 js 文件

更多的区别如下图所示：