TypeScript 是 JavaScript 的超集，TypeScript 经过编译之后都会生成 JavaScript 代码。TypeScript 最大的特点就是类型化，因此才叫做 TypeScript。比起弱类型的 JavaScript，类型化的 TypeScript 显得更加容易维护。
TypeScript 是一种强大的静态类型语言，它是 JavaScript 的超集，扩展了 JS 的功能，特别是引入了类型系统。在 TypeScript 中，类型系统增强了代码的可预测性、稳定性和可维护性，使得开发者能够在编码阶段捕获潜在错误，而不是在运行时。
在 TypeScript 中，有七种基本类型：
1. **布尔型 (boolean)**: 表示逻辑值，只有 `true` 和 `false` 两种状态。例如：
```typescript
var isDone: boolean = false;
```
2. **数字型 (number)**: 与 JavaScript 相同，`number` 类型用于表示所有数字，包括整数和浮点数。TS 中所有的数字都是以 IEEE 754 双精度浮点型存储的。
```typescript
var height: number = 6;
```
3. **字符串型 (string)**: 表示文本，可以使用双引号 `"` 或单引号 `'` 括起。例如：
```typescript
var name: string = "bob";
name = 'smith';
```
4. **数组型 (Array)**: TypeScript 提供两种方式声明数组：
- 使用方括号 `[]`: `var list: number[] = [1, 2, 3];`
- 使用数组类型 `Array<T>`: `var list: Array<number> = [1, 2, 3];`
在实际应用中，建议选择一种风格保持一致性。
5. **枚举类型 (enum)**: TypeScript 的独特类型，允许开发者定义一组相关的命名常量。例如：
```typescript
enum Color {
Red,
Green,
Blue
}
var c: Color = Color.Green;
```
枚举中的每个成员默认从 0 开始递增，但可以手动赋值。枚举类型还可以反向查找对应的值，如 `Color[2]`。
6. **任何类型 (any)**: 这是一个动态类型，可以代表任何类型。使用 `any` 类型的变量可以赋值为任意类型，但会失去类型检查。例如：
```typescript
var notSure: any = 4;
notSure = "maybe a string instead";
notSure = false;
```
当与数组结合使用时，可以创建包含多种类型的数组：`var list: any[] = [1, true, "free"];`
7. **空类型 (void)**: 通常用在函数返回类型上，表示函数不返回任何值。例如：
```typescript
function warnUser(): void {
alert("This is my warning message");
}
```
理解这些基本类型是掌握 TypeScript 的基础。通过使用这些类型，开发者可以编写出更健壮、更易于维护的代码。TypeScript 的类型系统不仅限于这些基本类型，还包括联合类型、接口、泛型等高级特性，它们共同构建了一个强大的工具，帮助开发者构建大规模的复杂应用程序。
