瞎扯淡 ML (programming language) 有人了解吗?

yfractal · 2014年06月11日 · 最后由 yfractal 回复于 2014年06月14日 · 3367 次阅读

wiki http://en.wikipedia.org/wiki/ML_programming_language)(

觉得两点比较神奇。

  1. metalanguage
  2. can automatically infer the types of most expressions without requiring explicit type annotations

Julia 的 parser 就似乎是用这个语言写的。Julia 最牛的地方是速度比 Go 快,接近 Fortran, http://julialang.org/ 。再有一点是 Julia 可以使用 c,Fortran,python 的代码。

所以对 ML 比较好奇。

求有了解的,介绍下!

可以看看 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 我算是在用吧,但还没上线。 有些东西没有,但目前没怎么遇到过坑。

10 楼 已删除
需要 登录 后方可回复, 如果你还没有账号请 注册新账号