MzScheme supports fully re-entrant
call-with-current-continuation (or
call/cc). The macro let/cc binds a
variable to the continuation in an immediate body of expressions:
(let/cc k expr )
(call/cc (lambda (k) expr ))
A continuation can only be invoked from the thread (see
section 9.1) in which it was captured. Multiple return values
can be passed to a continuation (see Chapter 2).
In addition to regular call/cc, MzScheme provides call-with-escape-continuation (or call/ec) and let/ec. A continuation obtained from call/ec can only be used to escape back to the continuation; i.e., an escape continuation is only valid when the current continuation is an extension of the escape continuation. The application of call/ec's argument is not a tail call.
Escape continuations are provided for two reasons: 1) they are significantly cheaper than full continuations; and 2) full continuations are not allowed to cross certain boundaries (e.g., error handling) that escape continuations can safely cross.
The exn:application:continuation exception is raised when a continuation is applied by the wrong thread, a continuation application would violate a continuation boundary, or an escape continuation is applied outside of its dynamic scope.