实用程序员的 ML
ML for the working programmer
Lawrence C. Paulson · 初版 1991 年
- 38次提及
- 16人推荐
- 28位 HN 评论者
为什么值得读
引导命令式程序员步入函数式编程，深度剖析语言特性与历史
- 面向普通程序员，不预设读者具有高等数学背景
- 细致讲解SML模块类型系统的局限、历史与瑕疵
- 引导实现Lambda演算解释器与定理证明器项目
适合：想要入门函数式编程的传统编程语言开发者
值得读指数：48 / 100
Hacker News 读者推荐
…语法上比 OCaml 好，但 OCaml 带来的优势太多了以至于很难忽视（更简单的编译模型、像命名参数这样的好特性、单一的开发目标、不错的社区）。另外，Paulson 的《ML for the Working Programmer》结合历史背景很好地解释了 SML 的各种硬伤。它非常详细地讲了 SML 模块类型安全性的一些局限，以及为了让 functor 通用化必须做的一些恶心操作……
oinksoft 在 HN 的推荐
看到这里的“ML”指的是机器学习（machine learning）而不是那门编程语言，我略感失落。我到现在还会时不时翻翻我那本老旧的 L. C. Paulson 写的《ML for the Working Programmer》平装本。
inopinatus 在 HN 的推荐
和我很喜欢的《Concrete Semantics》类似的一本书是《Formal Reasoning about Programs》，出自原贴链接的同一个团队：http://adam.chlipala.net/frap/frap_book.pdf。《ML for the Working Programmer》是由 Isabelle 核心主导者之一 Paulson 写的，最后以一个证明器项目收尾：https://www.cl.cam.ac.uk/~lp15/MLbook/。Paulson 在剑桥教一门本科生课程，现在已经……
nextos 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 052156543X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。