OOD-Scheme代码集

目前使用的代码，如图。

1.归根结底.rkt

0.2.3函数编程范式 和5.1.2自然数和丘奇数使用的代码

;;;Boolean值
(define T  (lambda (x) (lambda (y) x))   )
((T 1)2) ;;; 输出1
(define F  (lambda (x) (lambda (y) y))   )
(define And  (lambda (x) (lambda (y) (x y) F)   ))
((And T) F ) ;;;#<procedure:f>

(> 3 2) ;;; 输出 #t


;;;5.1.2自然数和丘奇数
(define (square x) (* x x))  
(define zero (lambda (f) (lambda (x) x)))
(define (one f) (lambda (x) (f x)))
;;;(define two (lambda (f) (lambda (x) (f (f x))))) ;;;应用2次f
(define (one2 f x)(f x));;;注意,one为两参数的函数
((one  square) 2)
(one2 square 2)

;;;(define (+ m n) (lambda (f) (lambda (x) ((m f) ((n f) x)))));;m + n
(define (++ n) (lambda (f) (lambda (x) (f ((n f) x))))) ;;n + 1
(define two(++(++ zero)) )
(define (to-digit n) ((n (lambda (k) (+ k 1))) 0))

((two square)(to-digit two))