非常汗颜，写ts好多年了，虽然不是anyscript风格，但一直当作类型标注在写，顶多用用函数重载和范型，连infer是谁都不认识，虽然也从当年这个文章中：用 TypeScript 类型运算实现一个中

TS 的类型系统为我们的代码提供健壮性，可维护性的保障。 当然除去一些基本类型外，我们有时也需要表达一些复杂的类型，那这个时候灵活使用一些关键字就很方便了。 这篇文章，就拿出一些可以方便我们进行类型表达的关键字来看一看。 在 TS 中用于类型表达时，typeof 可以用于从一个…

在 TypeScript 中，泛型工具类型 Record<K, T> 主要用于创建一个由给定键类型 K 映射到值类型 T 的新类型。 换句话说，就是用来构建一个新的对象类型。