赋值兼容性规则
- 顶层类型（Top Type）：在TypeScript中，
any 是顶层类型。它可以赋值给任何类型，任何类型也可以赋值给它。
- 底层类型（Bottom Type）：
never 是底层类型。它只能赋值给 never 类型本身，没有其他类型可以赋值给它。
代码示例
// 定义A为顶层类型any
type A = any;
// 定义B为底层类型never
type B = never;
// 普通类型
type StringType = string;
type NumberType = number;
// 顶层类型A（any）的赋值兼容性
let a1: StringType;
let a2: A;
a2 = a1; // 可以，any可以接受任何类型赋值
a1 = a2; // 可以，any类型的值可以赋值给任何类型
// 底层类型B（never）的赋值兼容性
let b1: B;
let b2: StringType;
// b1 = b2; // 报错，不能将其他类型赋值给never
b2 = b1; // 报错，never类型的值只能赋值给never
设计哲学
- 顶层类型（any）：
- 灵活性：
any 类型提供了最大程度的灵活性，允许在不确定类型的情况下进行编程。这在与外部库交互、处理动态数据（如从 JSON 解析得到的数据）或者在开发早期阶段不确定类型时非常有用。它可以作为一个“万能类型”，使得代码能够快速编写而不必一开始就确定精确类型。
- 风险：但这种灵活性也带来了类型安全风险，因为它绕过了TypeScript的类型检查，可能导致运行时错误。所以应尽量避免过度使用
any，一旦代码逻辑稳定，应逐渐替换为更精确的类型。
- 底层类型（never）：
- 逻辑完整性：
never 类型代表永远不会出现的值。它有助于在类型系统中表达一些逻辑上不可能发生的情况。例如，一个函数如果抛出异常或者永远不会返回（如无限循环的函数），其返回类型可以是 never。这有助于增强类型系统的逻辑性和完整性，确保类型检查能够发现潜在的代码逻辑错误。
- 严格性：
never 类型的严格赋值规则（只能赋值给自己）保证了它在类型系统中的独特地位，不会被错误地赋值为其他类型，从而维护了类型系统的正确性。
