，比如在编译器构造、自动化定理证明和形式验证中。
概述.ML特性包括：传值调用的求值策略，头等函数，带有垃圾收集的自动内存管理，参数多态，静态类型，类型推论，，和异常处理。不同于Haskell，ML与大多数编程语言一样使用及早求值，也就是说所有的子表达式总是被求值，尽管可以通过使用闭包来完成惰性求值。因此可以像Haskell那样建立和使用无限串流，但是它们的表达是间接的。ML是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的，它的语法是从ISWIM得