Пытаюсь разобраться с этой аццкой конструкцией. Самое простое объяснение, вроде бы, на первый взгляд понятное для меня, звучит как «call/cc — это вызов функции, переданной как аргумент, с продолжением в качестве аргумента». По этому определению, вроде бы, в следующем коде
(define f (lambda(cont) (cont 1 2 3)))
(write (+ 1 (call/cc f))) ; 2
UPD А другая имплементация вообще ошибку выбрасывает, «wrong number of arguments given continuation»