类型编程是 TypeScript 深水区技能，因为比较复杂，被戏称为 “类型体操”。但它其实有一些套路，只要掌握它们，类型编程就没那么难了。

这本小册会先带大家熟悉 TypeScript 类型系统中的各种类型和类型运算，然后把类型编程的六大套路总结成顺口溜帮助大家记忆。在详细解释每一个套路之后，也提供了大量的实战案例（案例都有 playground 的地址）帮助大家巩固所学知识。比如：模式匹配做提取的案例合并、重新构造做变换的案例合并、递归复用做循环的案例合并等等。

课程目录

1 如何阅读本小册.md

2 为什么说 TypeScript 的火爆是必然？.md

3 TypeScript 类型编程为什么被叫做类型体操？.md

4 TypeScript 类型系统支持哪些类型和类型运算？.md

5 套路一：模式匹配做提取.md

6 套路二：重新构造做变换.md

7 套路三：递归复用做循环.md

8 套路四：数组长度做计数.md

9 套路五：联合分散可简化.md

10 套路六：特殊特性要记清.md

11 类型体操顺口溜.md

12 TypeScript 内置的高级类型有哪些？.md

13 真实案例说明类型编程的意义.md

14 类型编程综合实战一.md

15 类型编程综合实战二.md

16 新语法 infer extends 是如何简化类型编程的.md

17 原理篇：逆变、协变、双向协变、不变.md

18 原理篇：编译 ts 代码用 tsc 还是 babel？.md

19 原理篇：实现简易 TypeScript 类型检查.md

20 原理篇：如何阅读 TypeScript 源码.md

21 原理篇：一些特殊情况的说明.md

22 小册总结.md

23 加餐：3 种类型来源和 3 种模块语法.md

24 加餐：用 Project Reference 优化 tsc 编译性能.md

25 加餐：一道 3 层的 ts 面试题.md

26 加餐：项目中 2 个真实的类型编程案例.md