Standard ML（SML）是通用的模块化的函数式编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。Standard ML是ML的现代方言，ML是用于（LCF）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》，给出了语言的和操作语义。
实现.存在很多SML实现，包括：所有这些实现都是开源的并可自由的获得。其中多数用