問題2.4、問題2.5 – SICP(計算機プログラムの構造と解釈)その28
2008年12月02日
問題2.4 置換えモデルを使えば cons がどう働くかがわかりやすい。 (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p))) (car (cons x y)) (car (lambda (m) (m x y))) ((lambda (m) (m x y)) (lambda (p q) p)) …続きを読む