(本题的注释中拓展了一个叫Y运算的东西)
总体思想是:lambda是匿名函数,可以通过它自己的参数来绑定自己。
(define (fib n)
((lambda (f)
(f f n))
(lambda (f k)
(cond ((= k 1) 0)
((= k 2) 1)
(else (+ (f f (- k 1)) (f f (- k 2))))))))
ev? od? (- n 1)
ev? od? (- n 1)