映射类型 Mapped types

never类型

never (the bottom type) —— 最底层的类型

布局

布局，决定元素在页面上的排布规则，页面布局情况很多，如不定宽度、高度的布局，定宽、高布局，自适应布局，网格布局，分栏布局

条件类型 conditional types

可以通过条件表达式，根据条件表达式判断的结果返回一个类型

unknown类型

unknown (the top types)最顶层的类型

泛型

模板字面量类型 Template Literal Types

就是“字面量类型”，但是这个“字面”也就是字符串的部分，是一个“模板字符串”

索引获取类型

可以使用一个对象类型的 key 作为索引去取得对应 value 的类型，和 js 中使用字面量或者变量去取一个对象的属性有点相似

过度的类型检查 Excess Property Checks

过度的类型检查，就是 ts 类型检查会扩大被检查的对象的类型，导致程序过不去类型检查的阶段

类型操作关键字

用于类型对象，可以拿到类型对象的 key ，作为一个新类型。所以 = 号左边必须为一个类型变量，或者可以是 typeof