TypeScript 给 JavaScript 扩展了类型的语法，我们可以给变量加上类型，在编译期间会做类型检查，配合编辑器还能做更准确的智能提示。此外，TypeScript 还支持了高级类型用于增加

Typescript 支持泛型，也叫类型参数，可以对类型参数做一系列运算之后返回新的类型，这就是类型编程。 因为类型编程实现一些逻辑还是有难度的，所以被戏称为类型体操。 社区有用 Typescript

套路三：递归复用做循环 会做类型的提取和构造之后，我们已经能写出很多类型编程逻辑了，但是有时候提取或构造的数组元素个数不确定、字符串长度不确定、对象层数不确定。这时候怎么办呢？ 其实前面的案例我们已经

类型编程主要的目的就是对类型做各种转换，那么如何对类型做修改呢？ TypeScript 类型系统支持 3 种可以声明任意类型的变量： type、infer、类型参数。 type 叫做类型别名，其实就是