总结

本书旨在帮助读者成为更好的编程师。学习函数式编程将对此有所助益。我们面临的最大障碍是学习新语言的沮丧感，尤其是放弃可变状态。但是，这些好处将是巨大的：一种发现，即编程超越任何特定的语言或语言家族，一种对高级语言特性的暴露，以及对美丽的欣赏。

术语

• dynamic typing 动态类型化
• first-class functions 高级函数
• 函数式编程语言
• 不变性
• Lisp
• ML
• OCaml
• referential transparency 参考透明
• state
• static typing 静态类型化
• type safety 类型安全

延伸阅读📖

• 介绍 Objective Caml，第 1 章和第 2 章，这是一本免费的教材，我们建议学生阅读这本教材
• OCaml 自始至终，第 1 章，这是一本非常温和的教材，对于这门课程来说是极佳推荐的。书籍的 PDF 和 HTML 格式都是免费的。
• OCaml 指南：《Real World OCaml》一书的第一章，这本书是康奈尔大学某些学生写作的，可能会让一些学生感到有趣阅读
• Standard ML 的历史：虽然它主要关注 SML 是 ML 語言的变体，但对 OCaml 有关联。
• 值的价值：Clojure（Lisp 的一种现代方言）的设计者关于命令式编程时代已经过去的讲座
• 教自己编程十年：Google 研究院主任的一篇论文，旨在将成为有知识的程序员所需时间置于合适的角度