>>406
プログラムの実行、評価の仕組み（eval-applyサイクル）
言語処理系の実装（プログラム意味論、表示的意味論）
KRCライクな遅延評価マシンの実装
非決定計算、prologライクな論理言語の実装など
↑教育言語としてのSchemeの当初の用途
http://www010.upp.so-net.ne.jp/okshirai/scheme-20070402222203.txt

発展的話題としては表示的意味論のモジュラリティの欠如を体感できる。