1. 官方文档：链接
2. 以下表格总结了一些抽象类型之间的可赋值性。
   1. 行
      1. 主动
      2. 表示该类型可以赋值给哪些类型
   2. 列
      1. 被动
      2. 表示该类型可以被哪些类型赋值
   3. “✓” 表示当 strictNullChecks 关闭时，两种类型之间是兼容的
3. 表格中的 object 类型代表所有非原始类型的类型，即数组、对象与函数类型

1. 每个类型都可以赋值给其本身。
2. any
   1. any 类型可以赋给除 never 外的任意类型
   2. any 类型可以被任何类型赋值
3. unknown
   1. unknown 类型只能赋值给 any、unknown 类型
   2. unknown 类型可以被任何类型赋值
4. never
   1. never 类型可以赋值给任意类型
   2. never 类型无法被任何类型赋值
5. ……