书籍介绍
The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!
用户评论
刚上Dan的PL课时看了前8章，之后两章一直拖延到课结束才看完…有基础的就不用读啦，以对话作为叙述方式也不好速读。新手的话则非常推荐；SML也是非常可爱的语言，第一次看到数据类型和模式匹配的设计时真觉得好神奇，我觉得要开始点F#；Ocaml；Rust了……
他的书基本是很小的子集，却讲出了语言的很多精髓，从学习上按说应该比较省力，但是内容涵盖多、技巧很强，所以一般比较烧脑，这两种特色同时出现，让我不知该把他的书定位成适合初学者呢，还是适合有基础后提纲挈领。另外一个特点是，苏格拉底式的启发对话教学，通过演绎的形式展开知识教授，最好全程动脑、动手，语言的演化过程都展现出来了，可以真正内化这些知识。学到很多，signature那里几段文字就让我理解了，之前上课看数学式的推到总感觉很困难。难度比The little schemer低。
本书大体沿用了TLS的内容来教授ADT和模式匹配，相比较TSS则浅了点，但依然五星推荐。
使用 SML 的一个极小的子集，展示递归、模式匹配之类的特性，“新奇性”比 The Little Schemer 小很多。
化了3天看完, 很好很强大的书.
内容不是特别多 ML实际上真就是各种pattern matching + record + module...
作者是scheme死忠粉，ML当scheme用。🤣 作者另外一本书里是Java当scheme耍。