SICPを思い出した。
抽象度の高いモデルで計算を考える。
置き換えモデル
順次プリミティブになるまで、オペランドを置き換えていって、最終的にすべてのオペランドがプリミティブになったところで計算終了。
副作用とかassignとか、基本的に時間概念が入ると破綻。
環境フレームモデル
環境フレームというkey-value表を沢山。最初は大域フレームのみで、lambdaをapplyするごとにローカルフレームが生成される。
値の検索は、現フレームから順に親をたどる。
で、次からは第３部に入って実用的プログラミングと。
進んじゃおうかな。時間が微妙だな。朝ご飯つくらなきゃ。家庭的になってしまった自分が恨めしい（ウソです！）
