30 lines
764 B
Scheme
30 lines
764 B
Scheme
|
;;; CTAK -- A version of the TAK procedure that uses continuations.
|
||
|
|
|
||
|
|
(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))
|