《TypeScript 进阶类型：条件类型与 infer》 要点 TS 的类型系统是一门只有"输入输出"、没有运行时的小语言，条件类型和 infer 是它最接近函数式编程的部分：前者给类型写 if/else，后者在模式匹配里抓取未知片段。这篇把四件进阶装备讲透——条件类型与它的"分发"怪癖、infer 的三种常见抓取、模板字面量类型、递归类型——最…