译文质量

还算不错，除了一些可能是编辑的小毛病。

有两个名词：

cons cell，现在一般翻译成点对或者偶对。原胞也很有意思。

calculus，中文里当然有微积分这个意思，但是和lambda在一起应是演算或者算子。

但是，有少量代码却无法运行！怀疑译者、校者是否在Emacs环境中实际运行了译稿中的代码。