本文总结 TypeScript 类型体操技巧：用元组或函数包装判断 never，反向 extends 判断 unknown 和 number，用函数签名比较判断类型相等；介绍 PropertyKey、Record、Omit 实现合并、映射键过滤、ThisType 混入 data、infer 配合 extends 限定推断；还讲解递归循环、排列组合、Union 转 Intersection 等，并强调解题思路比技巧更重要。

本文介绍 TypeScript 类型体操，即用 type 定义高阶类型。通过 SimpleVue 实例，讲解函数 this 参数、内置 ThisType、模式匹配与 infer、条件类型、类型递归、模板字符串类型、Union 分布式运算等技巧，并实现 PromiseValue、promiseAll、全排列、Fibonacci 等类型。