問題2.85 オブジェクトを塔に沿って下へ『押す』汎用演算 project の定義。 (define (install-project-package) (define (complex->real x) (make-real (real-part x))) (define (real->rational x) (make-rational (x->integer x) 1)) …続きを読む

問題2.84 2つの型を引数にとり "型の塔" の中でより高い方の型を返す手続き。 "型の塔" に新レベルを追加するには (tower ‘(complex real rational scheme-number)) に型を追加すればよい。 (define (higher-type x y) (let ((tower ‘(complex real ration…続きを読む

問題2.83 汎用 raise 演算を定義する。 (define (raise x) (apply-generic ‘raise x)) 整数（scheme-number をそのまま使う）にraise 演算を組み込む。 (define (install-scheme-number-package) … (put ‘raise ‘(scheme-number) (lambda (x) (make…続きを読む

問題2.82 最初の引数の型に合わせて一括変換をして、 op に対応する演算が存在すれば演算を実行し、存在しなければ再帰的に次に引数の型合わせた処理をしていく。 (define (apply-generic op . args) (define (coerce-all args target-type-tag) ;; 引数(args) の各要素を全て target-type-tag 型に変換する（…続きを読む

問題2.81 強制型変換に対応した元の apply-generic (define (apply-generic op . args) (let ((type-tags (map type-tag args))) (let ((proc (get op type-tags))) (if proc (apply proc (map contents args)) (if (= (length arg…続きを読む

問題2.80 各算術演算パッケージに =zero? 手続きとインターフェースを追加する。 ;; 通常(ordinary)の算術演算パッケージに =zero? を追加 (put ‘=zero? ‘(scheme-number) (lambda (x) (= x 0))) ;; 有理数算術演算パッケージに =zero? を追加 (define (=zero-rat? x) (= (numer x) 0…続きを読む

問題2.79 各算術演算パッケージに equ? 手続きとインターフェースを追加する。 ;; 通常(ordinary)の算術演算パッケージに equ? を追加 (put ‘equ? ‘(scheme-number scheme-number) (lambda (x y) (= x y))) ;; 有理数算術演算パッケージ equ? を追加 (define (equ-rat? x y) (and (=…続きを読む