Sinclair的图书主页-查字典图书网

The Mathematical Theory of Communication

作者话很多

2013-12-15

这本书适合没有接触过functional programming的同学，也适合没有学过编程的同学。作者显然不满足于写一个语言教程，而是着重于灌输fp知识。

所以在我看来这本书的废话稍微多了些。好几次我迅速的向后跳，但有意思的是每次我都被迫backtracing。因为他经常引用之前的例子和作业。后来我终于明白，要么就抛开这本书，要么老实的把每个例子每个作业都做了。现在我开始从头做作业了。做SML的作业全得靠纸笔。计算机只能帮你验证最后结果。很无奈但也挺有趣。

要学SML不一定要读这本书。Robert Harper那本不错，而且是免费的。但这本书有自己独特的味道，仔细读一遍还是挺有意思的。

不看这本书别学functional programming

2014-04-23

我会点lisp会点sml，懵懵懂懂能写点一两百行的程序，但心里很清楚自己连门槛都没摸着，于是读了lambda calculus的wiki词条，感觉还是边都摸不到，于是买了这本书打算系统的了解一下。

本来对这书没太大期望值，但边翻边看出味道来了。每看一章都有惊喜啊！我艹原来ISKB是这么来的，我艹原来type和Eq'是这么回事，我艹原来在这里碰到了o，我艹原来|-跟---是这个意思，我艹。。。总之这本书绝对可以解决fp学习过程中碰到的所有问题，既可以告诉你一个概念的渊源，又可以告诉你这个概念的用处，还可以告诉你这个概念跟其它概念的关系，彻底的解决how和why，尤其是why。

在看完这本书后，几乎可以一眼看透sml设计的所有动机，以及猜出所有概念的实现方案--尽管这本书里完全没有一行程序。

书里所有的公理、定理以及推论都是成体系的介绍，而且轻重有别，要么给出详细而且易懂的推理，要么告诉你在哪里可以找到推理。书里的例子紧跟推理过程，习题难度适中，对理解概念很有帮助，而且大部分习题都有答案（除了少数非常容易的）。

不仅如此，这本书还大方的介绍了LC和CL方面几乎所有的书，不光是提一下书名而已，而是详细的介绍书的主题，内容，侧重，优点和缺点。作者非常的大气。

在覆盖了LC、CL以及type的情况下，这本书也才三百多页，可以说每页都值得精读。毫无保留全力推荐。