我会点lisp会点sml，懵懵懂懂能写点一两百行的程序，但心里很清楚自己连门槛都没摸着，于是读了lambda calculus的wiki词条，感觉还是边都摸不到，于是买了这本书打算系统的了解一下。
本来对这书没太大期望值，但边翻边看出味道来了。每看一章都有惊喜啊！我艹原来ISKB是这么来的，我艹原来type和Eq'是这么回事，我艹原来在这里碰到了o，我艹原来|-跟---是这个意思，我艹。。。总之这本书绝对可以解决fp学习过程中碰到的所有问题，既可以告诉你一个概念的渊源，又可以告诉你这个概念的用处，还可以告诉你这个概念跟其它概念的关系，彻底的解决how和why，尤其是why。
在看完这本书后，几乎可以一眼看透sml设计的所有动机，以及猜出所有概念的实现方案--尽管这本书里完全没有一行程序。
书里所有的公理、定理以及推论都是成体系的介绍，而且轻重有别，要么给出详细而且易懂的推理，要么告诉你在哪里可以找到推理。书里的例子紧跟推理过程，习题难度适中，对理解概念很有帮助，而且大部分习题都有答案（除了少数非常容易的）。
不仅如此，这本书还大方的介绍了LC和CL方面几乎所有的书，不光是提一下书名而已，而是详细的介绍书的主题，内容，侧重，优点和缺点。作者非常的大气。
在覆盖了LC、CL以及type的情况下，这本书也才三百多页，可以说每页都值得精读。毫无保留全力推荐。