1. 介绍
TypeScrip 是 JavaScrip 的一个超集，添加了静态类型系统和编译时类型检查。通过使用 TypeScrip，开发者可以为变量、函数参数和返回值指定类型，从而提供更好的代码智能感知功能和工具。
2. 类型系统
2.1 基础类型
umber: 用于表示数值，包括整数和浮点数。 srig: 用于表示文本数据。 boolea: 用于表示真或假的值。 ull 和 udefied: 表示缺少值或未定义值。 symbol: 唯一且不可变的数据类型。 ay: 表示任意类型。
2.2 联合类型
联合类型表示一个值可以是多种类型中的一种。例如：
```ypescripype FruiOrVegeable = 'frui' | 'vegeable';```
2.3 交叉类型
交叉类型表示一个值具有多个类型的属性。例如：
```ypescripype ameAge = { ame: srig } u0026 { age: umber };```
2.4 类型推断
TypeScrip 具有强大的类型推断功能，可以在许多情况下自动推断出变量的类型。例如：
```ypescriple x = 函数类型
函数类型表示一个函数的行为和参数的类型。例如：
```ypescripype Add = (x: umber, y: umber) =u003e umber;```4. 类和接口
4.1 类
TypeScrip 的类基于 ES6 的类语法，并添加了类型安全。例如：
```ypescripclass Greeer { greeig: srig; cosrucor(message: srig) { his.greeig = message; } gree() { reur 对象的形状，并可用于描述类、函数和变量的期望结构。例如：
```ypescripierface GreeerIerface { greeig: srig; gree(): srig;}```
