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