类型推断（第一部分）
本文介绍了类型推断的基本概念，探讨了编译器如何在不显式声明类型的情况下自动推导表达式类型。文章从历史背景出发，讲解了 Hindley-Milner 类型系统的基础原理，并通过简单示例说明了类型推断的工作流程及其在现代编程语言中的重要性。
背景速读
- 类型推断（Type Inference）是编程语言编译器或解释器的一种能力：它能在程序员不显式写出类型标注的情况下，自动推导出变量或表达式的数据类型。这既让代码更简洁（少写类型注解），又保留了类型安全性（编译时检查错误）。
- 本文及后续系列聚焦于 Hindley-Milner（HM）类型系统，这是函数式编程语言（如 ML、Haskell、OCaml 以及 Rust 的部分设计）中经典的自动类型推断算法。理解 HM 是学习现代编程语言实现的必修课。
- 文中讨论了类型推断的核心难点：“合一”（Unification）与约束求解。合一指的是将不同部分的类型信息匹配起来，例如变量在函数调用处的类型与被调用函数参数的类型必须能“统一”成一个一致的类型。
- 为什么要关心类型推断？从 TypeScript/Python 的渐进式类型，到 Rust 的所有权/生命周期推导，现代语言越来越依赖自动类型推导来降低开发者的认知负担。深入理解底层原理有助于更好地使用这些语言。