Xeraph@NCHOVY

이렇게 괴상할 수가 !! ㅠㅠ
데이터 자체를 프로시저로 표현했다.
실제로 이런 기교를 부린 코드를 보니 너무 충격적이다.

(define (cons x y)
  (define (dispatch m)
    (cond ((= m 0) x)
          ((= m 1) y)
          (else (error "Argument not 0 or 1 -- CONS" m))))
  dispatch)

(define (car z) (z 0))
(define (cdr z) (z 1))

Message Passing 이라고 부른단다.

또, 변형된 다른 방법으로..

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

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

이제 (car (cons 1 2)) 를 호출하면 아래와 같이 치환해서 생각해보자.

((lambda (m) (m x y)) (lambda (p q) p)))
(((lambda (p q) p) x y)
x

으아 이런게 풀어 써보지 않고 1초만에 바로 보이면 업계 사람하고는 거리가 먼 괴물일 것이다 (..);;
다  봤으니 연습문제 2.4는 아래와 같이 간단하게 끝내자.

(define (cdr z)
  (z (lambda (p q) q)))

> (car (cdr (cons 1 (cons 2 3))))
2

어지럽지만 연습문제 2.6도 한 번 해보자. 0과 1을 프로시저 연산으로 나타낸다고?

(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n) (lambda (f) (f ((n f) x))))

(add-1 zero)를 풀어보자.

(lambda (f) (f (((lambda (z) (lambda (x) x)) f) x)))
(lambda (f) (f ((lambda (x) x) x)))
(lambda (f) (f x))

잘 모르겠으니 add-1을 한 번 더 해보자.

(lambda (f) (f (((lambda (f) (f x)) f) x)))
(lambda (f) (f ((f x) x)))

Church Encoding
내가 뭔가 전개를 잘못했나..
전개로 알아보려고 한게 잘못인가 음..
뭔가 알듯말듯한데 알쏭달쏭 므겡므겡 음음음

더하기 하는 방법이 개념적으로는 생각났는데 확인할 방법이 없어서 음음

(define one (lambda (f) (lambda (x) (f x))))
(define two (lambda (f) (lambda (x) (f (f x)))))
(define (plus a b) (lambda (f) (lambda (x) ((a f) ((b f) x)))))

이거일거란 생각은 드는데 답이 없어서 확인을 못 하겠다 (...)