Type Inference
类型推断自动推导表达式类型而无需显式标注，Hindley-Milner 算法是函数式语言基础。
用途
减少类型标注负担，同时保持静态类型安全。
机制
Hindley-Milner：用合一算法推导最一般类型（主类型）。Algorithm W 从表达式生成类型约束并合一。Rust 用 HM 变体 + 生命周期。TypeScript 用结构类型推断。
用例
- 函数式语言
- Rust 类型推导
- TypeScript 推断
类型推断自动推导表达式类型而无需显式标注，Hindley-Milner 算法是函数式语言基础。
减少类型标注负担，同时保持静态类型安全。
Hindley-Milner：用合一算法推导最一般类型（主类型）。Algorithm W 从表达式生成类型约束并合一。Rust 用 HM 变体 + 生命周期。TypeScript 用结构类型推断。