ikarus/benchmarks/new/r6rs-benchmarks/ctak.ss

;;; CTAK -- A version of the TAK procedure that uses continuations.

(library (r6rs-benchmarks ctak)
  (export main)
  (import (r6rs) (r6rs-benchmarks))
  
  (define (ctak x y z)
    (call-with-current-continuation
     (lambda (k) (ctak-aux k x y z))))
  
  (define (ctak-aux k x y z)
    (if (not (< y x))
        (k z)
        (call-with-current-continuation
         (lambda (k)
           (ctak-aux
            k
            (call-with-current-continuation
             (lambda (k) (ctak-aux k (- x 1) y z)))
            (call-with-current-continuation
             (lambda (k) (ctak-aux k (- y 1) z x)))
            (call-with-current-continuation
             (lambda (k) (ctak-aux k (- z 1) x y))))))))
  
  (define (main . args)
    (run-benchmark
      "ctak"
      ctak-iters
      (lambda (result) (equal? result 7))
      (lambda (x y z) (lambda () (ctak x y z)))
      18
      12
      6)))