Delimited continuation
From Wikipedia, the free encyclopedia
In programming languages, a composable continuation, delimited continuation or partial continuation, is a "slice" of a continuation frame that has been reified into a function. Unlike regular continuations, delimited continuations return a value, and thus may be reused and composed.
Delimited continuations were first described independently by Felleisen et al[1] and Johnson.[2] They have since been used in a large number of domains, particularly in defining new control operators; see Queinnec[3] for a survey.
[edit] References
- ^ Felleisen, Matthias; Friedman, Daniel P.; Duba, Bruce; Marrill, John (February 1987). "Beyond continuations". Technical Report 216. . Computer Science Department, Indiana University
- ^ Johnson, Gregory F. (June 1987). "GL: a denotational testbed with continuations and partial continuations". Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques: 218–225.
- ^ Queinnec, Christian (April 1994). "A library of high-level control operators". . École Polytechnique and INRIA-Rocquencourt
