Standard ML

定义

Standard ML（SML）是 ML 语言家族的标准化分支，是一门静态类型、以函数式为主的通用编程语言。其语义由《The Definition of Standard ML》给出完整的形式化定义，这在编程语言中十分罕见。

特点

SML 采用 Hindley-Milner 类型系统，绝大多数表达式的类型可被编译器自动推断，无需显式标注。语言核心包括代数数据类型、模式匹配、参数化多态，以及强大的模块系统（structure、signature、functor），后者对后来的语言模块设计影响深远。

实现与应用

常见实现有 SML/NJ、MLton、Poly/ML 等。SML 长期用于编程语言与编译器教学、定理证明器（如 HOL 系列）和程序语言研究。

影响

OCaml、F#、Haskell、Rust 等语言在类型推断、模式匹配和模块化设计上都不同程度地继承了 ML 传统。