类型的多态的λ演算，拥有ML作为元语言。今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F#，它是针对Microsoft .NET平台的开放研究项目。ML中的思想影响了众多的语言，例如Haskell，和Nemerle，和Elm。ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明器），但是它作为通用语言也被用于生物信息和财务系统等领域。
例子.下列例子使用了Standard ML的语法。其他ML方言比如OCaml和F#在细微