計算機プログラムの構造と解釈　第二版　問題 2.4

exercise-2.4.md

問題 2.4

これは対のもう一つの手続き表現である．この表現について任意のオブジェクト x と y に対し， (car (cons x y)) が x を生じることを証明せよ．

(define (cons x y)
 (lambda (m) (m x y)))

(define (car z)
 (z (lambda (p q) p)))

これに対する cdr の定義は何か．（ヒント：これが働くことを調べるには， 1.1.5 節の置換えモデルを利用せよ．）