TypeScript 高级类型体操实战

TypeScript 高级类型

TS 的类型系统是图灵完备的。

条件类型

T extends U ? X : Y

映射类型

{ [K in keyof T]: T[K] }

infer 关键字

type Return = T extends (...args: any[]) => infer R ? R : never;

...