1.使用typescript前第一个操作就是全局配置typescript环境 ---------------npm install -g typescript
2.typescript（以下称为ts，以.ts结尾的文件）支持javascript（以下称为js，以.js结尾的文件）代码
3.在ts中，可以给函数传的参数加上类型的限制，这个叫类型注解。加上类型注解后必须使用相应类型的，否则ts会报错。
4.接口，是用于限制变量的类型，类似于类型注解，如下：
5.类--使用class来创建，类和接口是可以一起用的。代码如下：
6.ts支持与js几乎相同的数据类型。
7.ts的数据类型：
--- 布尔值： 最基本的数据类型就是简单的true/false值，在JavaScript和TypeScript里叫做boolean（其它语言中也一样）。
--- 数字：和JavaScript一样，TypeScript里的所有数字都是浮点数。 这些浮点数的类型是 number。 除了支持十进制和十六进制字面量，TypeScript还支持ECMAScript 2015中引入的二进制和八进制字面量。
--- 字符串：JavaScript程序的另一项基本操作是处理网页或服务器端的文本数据。 像其它语言里一样，我们使用 string表示文本数据类型。 和JavaScript一样，可以使用双引号（ "）或单引号（'）表示字符串。
你还可以使用模版字符串，它可以定义多行文本和内嵌表达式。 这种字符串是被反引号包围（ `），并且以${ expr }这种形式嵌入表达式
--- 数组：TypeScript像JavaScript一样可以操作数组元素。 有两种方式可以定义数组。
第一种，可以在元素类型后面接上[]，表示由此类型元素组成的一个数组：
第二种方式是使用数组泛型，Array<元素类型>：
--- 元组Tuple：元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。 比如，你可以定义一对值分别为string和number类型的元组。
--- 枚举：enum类型是对JavaScript标准数据类型的一个补充。 像C#等其它语言一样，使用枚举类型可以为一组数值赋予友好的名字。
--- Any：有时候，我们会想要为那些在编程阶段还不清楚类型的变量指定一个类型。这种情况下，我们不希望类型检查器对这些值进行检查而是直接让它们通过编译阶段的检查。 那么我们可以使用 any类型来标记这些变量：
--- Void：某种程度上来说，void类型像是与any类型相反，它表示没有任何类型。 当一个函数没有返回值时，你通常会见到其返回值类型是 void：
--- Null和Undeined：TypeScript里，undefined和null两者各自有自己的类型分别叫做undefined和null。 和 void相似，它们的本身的类型用处不是很大：
--- Never：never类型表示的是那些永不存在的值的类型。例如， never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型； 变量也可能是 never类型，当它们被永不为真的类型保护所约束时。
never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使 any也不可以赋值给never。
类型断言：通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。
