深入讲解Typescript高级类型工具实现原理和编程技巧。全程干货、不扯闲篇，助你轻松实现Ts进阶。

建议做体操之前阅读： 官方文档 大佬的文章，受益匪浅 之前在写一个自己的库，深感自身的ts写的太渣，所以决心要好好修炼一下ts，不得不的说，只有掌握了这些姿势，才能在运用中写出更好的类型设计 原项目地

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

infer 最早出现在此 PR 中，表示在 extends 条件语句中待推断的类型变量。 在这个条件语句 T extends (param: infer P) => any ? P : T 中，infer P 表示待推断的函数参数。 整句表示为：如果 T 能赋值给 (param…