fix.scm

;;; shift-reset fixed point combinator
(use-modules (ice-9 control))

(define (fix f)
  (reset
   (let ((g (shift k (k k))))
     (lambda (x)
       ((f (g g)) x)))))

(define fact
  (lambda (fact)
    (lambda (x)
      (if (zero? x)
          1
          (* x (fact (- x 1)))))))

((fix fact) 10)