最近团队新增了一个 hc，面试候选人的过程中，看他简历，履历很牛逼，并且里面写的精通 ts。 我想那我们就问一个很基础的问题吧，你了解 ts 的 exte ds 吗

本文从type-challenges选取16道题目，进行详细分析、解题。 从另外一个角度，来审视自己所学了TypeScript是否牢固，并进行查漏补缺。 希望可以给读者一个启发，用好这门强类型

之前我们零散地了解了一些 TypeScript 类型体操的套路，但是没有综合练习下，今天就来做个高难度的体操，它会综合运用模式匹配、构造、递归等套路，对提升类型编程水平很有帮助。 我们要实现的高级类型

作为前端开发的趋势之一，TypeScript正在越来越普及，很多人像我一样写了TS后再也回不去了，比如写算法题写demo都用TS，JS只有在Webpack配置（实际上这也可以用TS写）等少的可怜的情况下才会用到（有了ts-node后，我连爬虫都用ts写了）。 预实现的ES提案，…

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