类型系统
类型是对程序行为的静态近似。本章讲类型检查与类型推断（Hindley–Milner）、参数多态与子类型、代数数据类型、以及类型系统能防止哪些错误、不能防止哪些。Rust 的所有权类型作为现代案例。
- “强/弱类型”没有严格定义，讨论时应说明具体含义
- 类型推断让静态类型语言写起来像动态语言
- 所有权与借用把内存安全交给类型检查
类型是对程序行为的静态近似。本章讲类型检查与类型推断（Hindley–Milner）、参数多态与子类型、代数数据类型、以及类型系统能防止哪些错误、不能防止哪些。Rust 的所有权类型作为现代案例。