可以看看 http://ocaml.org/ ，ML 的一个 dialect，也可以看看这本书了解下 http://book.douban.com/subject/1316040/

OCaml 应该是我见过最复杂的语言了

这个记得跟 Haskell 很像

#3 楼 @duobei 和 F# 相像多一点，毕竟 ML 不是 lazy 的而 Haskell 是，ML 允许 mutable data type 而 Haskell 不允许

#4 楼 @luikore F# 就是 OCaml 的一个子集，F# 不支持 functor 和多态的 variant

关于 2，其实并不难在其他语言里面实现，简单讲，就是数理逻辑里面的合一算法的扩展。

#1 楼 @yanguango thanks #2 楼 @Alexander 。。。我觉得我还是不碰这个东西的好。 #6 楼 @rasefon 好吧。。。

很早的时候在图书馆里看到过 ML 的书，那个时候还不知道什么叫函数编程。

现在有人在生产环境用 Julia 么？

#8 楼 @appell 我算是在用吧，但还没上线。 有些东西没有，但目前没怎么遇到过坑。