call-with-current-continuation

In the <a href="/facts/Scheme_/0aGdf3SC">Scheme</a> <a href="/facts/Computer_programming/QmSsFnu0">computer programming</a> language, the <a href="/facts/Procedure_(computer_science)/9vFJrg0A">procedure</a> call-with-current-continuation, abbreviated call/cc, is used as a <a href="/facts/Control_flow/2XTDfErC">control flow</a> operator. It has been adopted by several other programming languages.
Taking a function f as its only argument, (call/cc f) within an expression is applied to the current <a href="/facts/Continuation/53gyBXrB">continuation</a> of the expression.
For example ((call/cc f) e2) is equivalent to applying f to the current continuation of the expression. The current continuation is given by replacing (call/cc f) by a variable c bound by a lambda abstraction, so the current continuation is (lambda (c) (c e2)). Applying the function f to it gives the final result (f (lambda (c) (c e2))). 
As a complementary example, in an expression (e1 (call/cc f)), the continuation for the sub-expression (call/cc f) is (lambda (c) (e1 c)), so the whole expression is equivalent to (f (lambda (c) (e1 c))).
In other words it takes a "snapshot" of the current control context or control state of the program as an object and applies f to it. 
The continuation object is a <a href="/facts/First-class_value/N6tFtEUU">first-class value</a> and is represented as a function, with <a href="/facts/Function_application/p4auE0QF">function application</a> as its only operation. When a continuation object is applied to an argument, the existing continuation is eliminated and the applied continuation is restored in its place, so that the program flow will continue at the point at which the continuation was captured and the argument of the continuation then becomes the "return value" of the call/cc invocation. Continuations created with call/cc may be called more than once, and even from outside the dynamic extent of the call/cc application.
In computer science, making this type of implicit program state visible as an object is termed <a href="/facts/Reification_(computer_science)/bWHmLPs5">reification</a>. (<a href="/facts/Scheme_/0aGdf3SC">Scheme</a> does not syntactically distinguish between applying continuations or functions.)
With call/cc a variety of complex control operators can be implemented from other languages via a few lines of code, e.g., <a href="/facts/John_McCarthy_(computer_scientist)/ajKU4SdD">McCarthy</a>'s amb <a href="/facts/Operator_(computer_programming)/7TnU5LKu">operator</a> for <a href="/facts/Nondeterministic_programming/XRRlHhKn">nondeterministic choice</a>, <a href="/facts/Prolog/r5h66Qh1">Prolog</a>-style <a href="/facts/Backtracking/Jm9vDUk8">backtracking</a>, <a href="/facts/Simula/gaEVG7SL">Simula</a> 67-style <a href="/facts/Coroutine/hGCtXsAQ">coroutines</a> and generalizations thereof, <a href="/facts/Icon_/J7QHUDqq">Icon</a>-style <a href="/facts/Generator_(computer_programming)/nHRrs0GF">generators</a>, or <a href="/facts/Engine_(computer_science)/CkHT8wJW">engines</a> and <a href="/facts/Thread_(computing)/hh8WHyPd">threads</a> or even the obscure <a href="/facts/COMEFROM/II3GVYBd">COMEFROM</a>.

call-with-current-continuation open-in-new

call-with-current-continuation