primitive-procedure のエラーもECEVAL上で扱えるようにする． まず基盤のschemeから手続きを登録するときに事前チェックするように変更する． もしエラーになるような引数が与えられた時には('failed . 'hoge-syntax-error)を返す． primitive-applyでvalに…

評価プロセスでのエラーを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 "…