Nemerle，和Elm。ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明器），但是它作为通用语言也被用于生物信息和财务系统等领域。
例子.下列例子使用了Standard ML的语法。其他ML方言比如OCaml和F#在细微方面有所不同。
阶乘.阶乘函数用纯ML可表达为：fun fac (0 : int) : int = 1这里将阶乘描述为递归函数，具有一个单一的终止基础情况。它类似于在数学教科书见到的阶乘描述。多数ML代码在设施和语法上