1. 引用
   1. ts never 类型
2. 术语
   1. Top Type（顶层类型）
   2. Bottom Type（底层类型）
3. Top Type 表示顶层类型，是类型系统中最宽泛的类型，可以表示任何类型的值。
   1. 在 ts 中，any 和 unknown 都被认为是 Top Type。
   2. 虽然 any 和 unknown 都是 Top Type，但它们的行为有很大不同。
4. Bottom Type 是类型系统中的最底层，表示永远不会有值的类型。
   1. never 是 TypeScript 中的 Bottom Type。
   2. 通常，never 用于表示函数抛出异常或进入无限循环等情况，它是一个不可到达的终点。