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

「TS类型体操」作为一名花里胡哨的前端，看到最近这不是冬奥会开始了，咱们得为运动健儿们呐喊助威，还想着能不能当一次前端届的体操运动员，和奥运健儿们一起感受在冬天运动的魅力， 下面，我们就开始做操吧！

作为前端开发的趋势之一，TypeScript 正在为越来越多的开发者所喜爱，从大的方面来说，几乎九成的框架与工具库都以其写就（或者就是类似的类型方案，如 Flow）

19年刚毕业的时候，我就接触过 TS，因为组里的项目用到了 TS，不学不行。但我其实只了解了 TS 一些很零碎的概念，因为日常工作是一个拧螺丝的过程，只需要把别人的代码复制粘贴过来能跑就行，我不必知道