Standard ML

标准ML（SML；"标准元语言"）是一种通用的、模块化的、具有编译时类型检查和类型推理功能的编程语言。它在编译器编写者和编程语言研究者中，以及在定理证明器的开发中很受欢迎。 SML是ML的一种现代方言，是用于Logic for Computable Functions定理证明项目的编程语言。它在广泛使用的语言中很特别，因为它有一个正式的规范。