Тип продолжения в Racket и определение текущего продолжения

Question

Какой тип продолжения в Racket? А как определить текущее продолжение, глядя на вызов call/cc? (Например: правильная ли стратегия предположить, что текущее продолжение - это то, что следует сразу после закрывающей скобки call/cc?)

Answer 1

Продолжение - это процедура (в том смысле, что она вызывается и возвращает true для procedure?), хотя и особенный, который не возвращает вызывающему продолжению.

Значения, которые вы называете продолжением, станут возвращаемыми значениями call/cc вызов, который создал его.

Пример:

> (define $k #f)
> (call-with-values (lambda () (call/cc (lambda (k)
                                          (set! $k k))))
                    (case-lambda (() "Zero values")
                                 ((x) "One value")
                                 ((x y) "Two values")
                                 ((x y z) "Three values")))
"One value"
> (procedure? $k)
#t
> ($k)
"Zero values"
> ($k 1)
"One value"
> ($k 1 2)
"Two values"
> ($k 1 2 3)
"Three values"
> ($k 1 2 3 4)
#<case-lambda-procedure>: arity mismatch;
 the expected number of arguments does not match the given number