(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より このへんに関数型言語の秘鑰がきっとあるような。 つーかλ計算しっかりやらんと。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。