返回信息流突然在图书馆发现的。
平时由于生活／实践限制，很少接触这方面的东西，最近碰巧有了需求。
看看，顺便给自己洗脑。
希望是一个能够改变代码风格的书。想歪了的面壁去。。。。
这是一条镜像帖。来源：北邮人论坛 / soft-design / #30947同步于 2008/11/7
该镜像源已超过 30 天没有更新，可能在源站已被删除。
SoftDesign机器人发帖
借了一本ML的书学习。
wks
2008/11/7镜像同步37 回复
订阅后，新回复会通过你的通知中心匿名送达。
9 条回复
you ML?
【 在 wks (cloverprince) 的大作中提到: 】
: 突然在图书馆发现的。
: 平时由于生活／实践限制，很少接触这方面的东西，最近碰巧有了需求。
: 看看，顺便给自己洗脑。
: ...................
恩，百度了一下。。。。
ML 是一个通用的函数式编程语言，它是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的。它的语法是从ISWIM得到的灵感。作为元语言的ML是为了帮助在LCF定理证明机中寻找证明策略而构想出来的。（之前的元语言是pplambda，它联合了一阶逻辑演算、多态及Λ演算）。它使用了Hindley-Milner类型推论算法来推测大多数值的类型，而不需要四处使用注解。
ML一般被归为非纯函数式编程语言，因为它允许副作用和指令式编程。这一点和纯函数是编程语言??例如Haskell??很不一样。
ML特性有惰性求值的求值策略，一阶类型函数， 带有垃圾收集的自动内存管理， 参数多态，静态数据类型，类型推断，代数数据类型，模式匹配和异常处理。
不像Haskell，ML使用热情求值，也就是说所有的子表达式总是被求值。导致的一个结果是你不能使用无穷表。然而，惰性求值产生的无穷表可以通过使用匿名函数来模拟。
今天在ML家族中有好几种语言：两种主要的方言是Standard ML和Caml，其他的包括F# － 针对Microsoft .NET平台的开放研究项目。 ML中的思想影响了众多的语言，例如Haskell，Cyclone和Nemerle。
ML的实力大多被用于语言设计和操作（编译器、分析器、定理证明机）， 但是它作为通用语言也被用于生化，金融系统，和宗谱数据库，一个P2P的客户／服务器程序等等。
【 在 wks (cloverprince) 的大作中提到: 】
: 突然在图书馆发现的。
: 平时由于生活／实践限制，很少接触这方面的东西，最近碰巧有了需求。
: 看看，顺便给自己洗脑。
: ...................