Type System
类型系统为表达式分配类型，在编译期检测类型错误，防止运行时类型相关故障。
用途
编译期捕获类型错误，提供安全性与文档性，是静态语言核心。
机制
类型规则分配类型给表达式，类型检查器验证规则。强类型：不允许隐式不安全转换。静态：编译期检查。渐进类型（TypeScript）允许动态逃逸。类型推断（Hindley-Milner）自动推导类型。
用例
- 编译期安全
- 类型推断
- 语言设计
类型系统为表达式分配类型，在编译期检测类型错误，防止运行时类型相关故障。
编译期捕获类型错误，提供安全性与文档性，是静态语言核心。
类型规则分配类型给表达式，类型检查器验证规则。强类型：不允许隐式不安全转换。静态：编译期检查。渐进类型（TypeScript）允许动态逃逸。类型推断（Hindley-Milner）自动推导类型。