Standard ML Standard MLSML是一个函数式指令式模块化的通用的编程语言具有编译时间类型检查和类型推论它流行于编译器作者和编程语言研究者和自动定理证明研究者之中 Standard ML是ML的现代方言ML是用于LCF英语Logic for Computable Functions可计算函数逻辑定理证明计划的编程语言Standard ML在广泛使用的语言之中与众不同源于它具有正式规定The Definition of Standard ML 给出了语言的类型规则英语Type rule和操作语义