类型体操

这一部分分为：基础类型（basic types），工具类型（utility types）

基础类型 basic types

never类型

unknown类型

any类型

对象类型 Object Types

泛型

工具类型 utility types

条件类型 conditional types

映射类型 mapped types

索引获取类型 indexed access types

模板字面量类型 Template Literal Types

类型操作关键字

过度的类型检查 Excess Property Checks

程序类型