1. 静态类型系统
TypeScrip引入了静态类型系统，它允许开发人员在编译时检查类型错误，从而提高代码质量和可维护性。在TypeScrip中，每个变量和函数都需要显式声明其类型。例如：
```ypescriple ame: srig;fucio gree(perso: srig): void { cosole.log(`Hello, ${perso}!`);}```
2. 类和接口
TypeScrip支持使用类和接口来组织代码。类是对象的蓝图，它可以包含属性、方法和构造函数。接口则定义了对象的行为和结构。例如：
```ypescripclass Perso { cosrucor(public ame: srig, public age: umber) {} gree() { cosole.log(`Hello, my ame is ${his.ame} ad I'm ${his.age} years old.`); }}ierface Greeig { speak(): void;}```
3. 泛型
泛型允许开发人员编写可用于多种类型的代码，而无需为每种类型重写代码。泛型通过在类型参数中传入类型参数来定义类型。例如：
```ypescripfucio priArrayu003cTu003e(array: T[]): void { cosole.log(array.joi(', '));}priArray(['apple', 'baaa', 'orage']); // Oupu: apple, baaa, orage```
4. 模块化
TypeScrip支持模块化编程，它允许开发人员将代码拆分为多个文件，每个文件都包含一组相关的功能和类型。这有助于组织代码并提高代码的可重用性。例如：
```ypescrip// greeig.sexpor class Greeig { cosrucor(public message: srig) {} speak() { cosole.log(his.message); }}// app.simpor { Greeig } from './greeig';cos greeig = ew Greeig('Hello, world!');greeig.speak(); // Oupu: Hello, world!```
