2013-11-27 ■ (define (cons x y) (lambda (m) (m x y)) (define (car z) (z (lambda (p q) p))) (define (cdr z) (z (lambda (p q) q))) sicp 2.6より このへんに関数型言語の秘鑰がきっとあるような。 つーかλ計算しっかりやらんと。