OCaml，Haskell，standard ML，F＃这几门语言之间有什么区别和联系？

OCaml，Haskell，standard ML，F＃这几门语言之间有什么区别和联系？

知乎2016-12-07

这几门语言的语法看起来好像比较相近，他们之间存在什么渊源吗？

PS：彼此之间借鉴了什么，相比对方有什么改进？

Standard ML 和 OCaml 师出同门，是70年代的 ML 语言的后裔，统称 ML-family 语言。ML-family 语言的主要特征是 Hindley-Milner 类型推导、 strict evaluation 、impure、比较强大的 module system。

Standard ML 有严谨的、经形式化证明的语言标准 SML 97，以及许多不同实现。语言特性比较受限，目前社区较小，集中在教学以及开发 proof assistant 这两块。

OCaml 与 Standard ML 相比，不维护语言标准，以官方实现为主，语言特性更加丰富（如object system、polymorphic variants等）且演化较快，有大量活跃的工业界用户。

F# 借鉴了 OCaml 的设计，同时夹带了一些自己的私货（如 computation expression、量纲系统等）

Haskell 则是 Miranda 语言的后裔，从成形之初起设计目标即为 pure & lazy，这一点与 ML-family 迥异。Haskell 的类型系统比 ML-family 语言丰富许多（type classes、higher-kinded、rank-N等特性）