コンパイルした手続きから積極制御評価器で定義した手続きを使えるようにする． (define (compile-procedure-call target linkage) (let ((primitive-branch (make-label 'primitive-branch)) (compiled-branch (make-label 'compiled-branch)) (compound-br…

5.45と同様に今度はフィボナッチ数列の計算でそれぞれ比べる． gosh> (define fib ;;一回目以外は省略 (make-machine (list (list '< <) (list '- -) (list '+ +)) '(controller (assign continue (label fib-done)) fib-loop (test (op <) (reg n) (const 2…

コンパイルした階乗計算，積極制御評価器の階乗計算，特殊目的計算機のプッシュ数，最大スタック深さを調べて比較する． まずはコンパイルしたものから gosh> (compile-and-go '(define (factorial n) (if (= n 1) 1 (* (factorial (- n 1)) n)))) (total-pu…

基本手続きの名前を含む式の正しいコードを翻訳するため，翻訳時環境を調べるようにする． (cond ((self-evaluating? exp) (compile-self-evaluating exp target linkage)) ((variable? exp) (compile-variable exp target linkage ct-env)) ((quoted? exp) …

内部定義を吐き出してコンパイルする． まず4.16で作ったscan-out-definesがこれ． (define (scan-out-defines body) (define (split-defines proc-body defines non-defines) (cond ((null? proc-body) (cons (reverse defines) (reverse non-defines))) ((…

compile-variableとcompile-assignmentを文面アドレスを使った検索に対応 (define (compile-variable exp target linkage ct-env) (let ((address (find-variable exp ct-env))) (end-with-linkage linkage (if (eq? address 'not-found) (make-instruction-…

翻訳時環境に対する変数の文面アドレスを返す手続きfind-variableの実装 (define (find-variable var ct-env) (define (env-loop frame-address env) (define (scan variable-address frame) (cond ((null? frame) (env-loop (+ frame-address 1) (enclosing…

翻訳時環境を維持し，compile-lambda-bodyで拡張するように変更する． (define (compile-lambda-body exp proc-entry ct-env) ;; ct-envを追加 (let ((formals (lambda-parameters exp))) (append-instruction-sequences (make-instruction-sequence '(env p…

文面アドレスと実行時環境とり値を検索するlexical-address-lookupと 値を変更するlexical-address-set!を実装する． ;;; 文面アドレスを使って変数の値を探す (define (lexical-address-lookup lex-add r-env) (let ((frame (frame-values (list-ref r-env …

+と*について任意個の被演算子の式が使えるように拡張する． ここに書いた手続きを変更もしくは追加する． ３つ以上の引数の時はarg1に畳み込んで計算していく． (define (compile-open-code exp target linkage ct-env) (cond ((= (length exp) 3) (compile…

元のcompileによる出力と5.38abでcompile-open-codeを追加したコンパイラの出力を比べる． 命令列が約半分になっている． compile-open-codeを追加したコンパイラの出力 ((env) (val) ((assign val (op make-compiled-procedure) (label entry1) (reg env)) …

+ - * = はopen-codeとして (reg val (op +) (reg arg1) (reg arg2)) の形で処理できるようにする． (define (open-code? exp) (memq (car exp) '(= * - +))) (define (compile exp target linkage) (cond ((self-evaluating? exp) (compile-self-evaluating…

schemeの式をレジスタマシンのシミュレータの命令列に翻訳するコード． 理解するためにコメントを出来るだけつけた (load "./eval.scm") ;;; make-branchのための手続き (define label-counter 0) (define (new-label-number) (set! label-counter (+ 1 labe…

preservingを修正して常にsaveとrestoreをさせ，修正前と後を比較する． 修正前 (define (preserving regs seq1 seq2) (if (null? regs) (append-instruction-sequences seq1 seq2) (let ((first-reg (car regs))) ;first-regが (if (and (needs-register? s…

本文の被演算子の適用順はoperandをreverseしてから連結していくので右から左になっている． これを左から右に変更する． ;;; 最初のreverseをなくす (define (construct-arglist operand-codes) (if (null? operand-codes) (make-instruction-sequence '() …

本文の図5.18 の翻訳出力の例から翻訳前の式を導く． 答え (compile '(define (f x) (+ x (g (+ x 2)))) 'val 'next) 実行結果（整形済み） ((env) (val) ((assign val (op make-compiled-procedure) (label entry12) (reg env)) (goto (label after-lambda1…

反復的階乗手続きをコンパイルし，再帰版との本質的な違いを示せ． 反復的階乗手続きの内容を説明する． (compile '(define (factorial n) (define (iter product counter) (if (> counter n) product (iter (* counter product) (+ counter 1)))) (iter 1 1…

以下の２つの翻訳結果を比較してその相違を説明する． (compile '(define (factorial n) (if (= n 1) 1 (* (factorial (- n 1)) n))) 'val 'next) (compile '(define (factorial n) (if (= n 1) 1 (* n (factorial (- n 1))))) 'val 'next) 一つ目を出力して…

a: 演算子が記号である場合の組み合わせの式を別のクラスと認識し，そういう式を最適化する． operatorがvariableであればenvをsaveしない． ev-application (save continue) (assign unev (op operands) (reg exp)) (assign exp (op operator) (reg exp)) (…

どのタイミングで以下の式を評価する際にどのタイミング何を退避して復帰するか (f 'x 'y) 'x 'yはシンボルなのでこれ以上の評価が必要ないので 何も退避しなくてよい． ((f) 'x 'y) 'x 'yがシンボルなので上と同じく退避の必要ない． (f (g 'x) y) fを評価…

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 "…

;;; 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…