評価プロセスでのエラーをschemeでなくecevalで捕まえてREPLを継続する． ;;; 5.2 で実装したシミュレータ．トレース機能追加済み． ;;; 初めてassignするレジスタを登録していくタイプ (load "./register-machine-simulator.scm") ;;; 4.1で実装した評価器 …

a: n≧2の時のfib(n)を計算するのに必要なスタックの最大深さのnを使った式を与えよ． b: 同じ条件でfib(n)のプッシュの総数を求める ;;; EC-Eval input: (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) (total-pushes = 3 maximum-depth …

ev-sequenceで行っていた末尾再帰の最適化をやめた場合のfactorialの比較． 最適化をやめると反復的factorialはプッシュ回数が37n+1, 最大深さが3n+11. 再帰的factorialはそれぞれ，34n-16, 8n+3となった． 末尾再帰の最適化がないと末尾再帰的に書いても最…

5.26と同じことを再帰的階乗計算で． ;;; EC-Eval input: (define (factorial-recur n) (if (= n 1) 1 (* (factorial-recur (- n 1)) n))) (total-pushes = 3 maximum-depth = 3) ;;; EC-Eval value: ok ;;; EC-Eval input: (factorial-recur 1) (total-push…

監視つきスタックを使い，評価器の末尾再帰的特性を検討する． ;;; EC-Eval input: (define (factorial n) (define (iter product counter) (if (> counter n) product (iter (* counter product) (+ counter 1)))) (iter 1 1)) (total-pushes = 3 maximum-d…

4.2節の遅延評価器に基づいた正規順序の評価が使えるようにする． ;;; 5.2 で実装したシミュレータ．トレース機能追加済み． ;;; 初めてassignするレジスタを登録していくタイプ (load "./register-machine-simulator.scm") ;;; 4.1で実装した評価器 (load "…

;;; 5.2 で実装したシミュレータ．トレース機能追加済み． ;;; 事前に登録したレジスタを使用するのではなく，初めてassignするレジスタを登録していく(問題5.13). (load "./register-machine-simulator.scm") ;;; 4.1で実装した評価器 (load "./eval.scm") …

condを派生式ではなく構文として実装する． ;; unevがcondの本体を保存．expはevalされる． ev-cond (assing unev (op cond-clauses) (reg exp)) ;((p1 e1) (p2 e2) ...)の形にする． (save continue) ;cond後の継続をsave (save env) ;現在の環境をsave (sa…

レジスタマシン上に実装した評価器でcondとletを実装する． cond->ifのような構文変換器が機械演算として仮定してよいので，let->lambdaも使用する． eval-dispatch (test (op self-evaluating?) (reg exp)) (branch (label ev-self-eval)) (test (op variab…