組み合わせ(式)を評価するための インタプリタ の基本的な手続きの説明 評価の規則は本質的に 再帰 的(rucursive)である。

合成手続きの説明と実例。 defineについて再度説明。 defineによる手続きの定義は、すなわちその環境における手続きに対する名称の対応付けである。

1.1.5

置き換えモデルの説明。

3章で説明が出てくるが、set!等の破壊的代入が導入されるとこのモデルは破綻する。

作用的順序(applicative-order evaluation)と正規順序(normal-order evaluation)の違い。

実際にインタプリタが採用しているのは作用的順序(単純な展開ではなく、引数の評価と作用を行う)

schemeの式を眺めたとき、全ての部分式を展開するといった解釈方法は誤り。