计算机程序的构造和解释

[hbbalfred]

SICP online version

[hbbalfred]

1.1.1 ~ 1.1.2 简单 > 组合 > 复杂 基本表达，最简单的单元。 组合，把简单的单元组合成复杂的元素。 抽象，把复杂的元素再当作一个单元来操作。

[hbbalfred]

1.1.3~1.1.6 表达式的求值规则可以描述为一个简单的通用规则和一组为数不多的特殊规则。而特殊规则其实是统一形式下的语法糖。 谓词的意思是判别条件，比如if(condition)，也可以说是if(predicate)。