(define (double f)
(lambda (x)
(f (f x))))
(define (inc x)
(+ x 1))
(((double (double double)) inc) 5)
;amazing
(((double (double (double double))) inc) 0)
(define (double f)
(lambda (x)
(f (f x))))
(define (inc x)
(+ x 1))
(((double (double double)) inc) 5)
;amazing
(((double (double (double double))) inc) 0)
转载于:https://www.cnblogs.com/R4mble/p/8395347.html