SICP 読み (280) 5.4 積極制御評価器

SICP scheme

とりあえず目先のナニを以下に。

  • 問題 5.23 から 25 まで解を検討
  • 評価器が動く環境を作って解を検証
  • 最後の問題を検討しつつ評価器で検証

現時点での不明点としては

  • スタックの確認
  • ev-sequence の相異点

あたりなんですが、ev-if 以降はロクに見てなかったり (を

問題 5.23

221p の cond->if が使えるとすると

ev-cond
  (assign exp (op eval->if) (reg exp))
  (goto (label eval-dispatch))

みたいなマネができるんだろうか。let も同様に以下??

ev-let
  (assign exp (op let->combination) (reg exp))
  (goto (label eval-dispatch))

easy スギな気もするんですが、評価器がデキてからハマるという方向で (何