Type Gymnastics

众所周知，TypeScript 的类型系统是图灵完备的。

使用 TypeScript 进行类型编程的操作，被很多人戏称为 类型体操。

一些关于 TypeScript 类型体操的技巧总结，持续更新中...

技巧概览

关于 TS 类型体操方案，实际上大体可以分为六个技巧的组合：

1. 模式匹配对类型进行提取 - 对类型进行赋值
2. 重新构造，变换类型 - 重新赋值类型
3. 递归复用进行循环 - 处理未知数量的类型
4. 数组长度做计数 - TS 类型编程中的数字计算
5. 联合分散可简化 - 联合类型自带的分散迭代特性
6. 一些特殊类型的特殊特性

分别对应六个具体的练习：

1. 模式匹配
2. 类型变换
3. 递归复用
4. 数组长度
5. 联合分散
6. 特殊类型

每个文件都附有非常详尽的注释，希望能够帮助大家更好地理解，以及帮助想要认真学习 TS 类型编程的同学迈出第一步。