Y-combinator

;; Scheme 版的 Y-combinator
(define (Y f)
 ((lambda (g) (lambda (h) ((f (g g)) h)))
  (lambda (g) (lambda (h) ((f (g g)) h)))))

;; 6 的阶乘
((Y (lambda (fn) (lambda (x)
      (if (zero? x) 1 (* x (fn (1- x ))))))) 6)