delimited continuation
Appearance
English
[edit]Etymology
[edit]So named because they capture only a portion of the call stack.
Noun
[edit]delimited continuation (plural delimited continuations)
- (functional programming) A continuation that returns a value and can be composed.
- Synonyms: composable continuation, partial continuation
- 2022, Norman Ramsey, Programming Languages: Build, Prove, and Compare, Cambridge University Press, →ISBN, page 243:
- An interesting alternative, which addresses some of the modularity problems, is a delimited continuation; for example, a delimited continuation might capture just a portion of the evaluation stack, up to a delimiter that works a bit like
long-label
, and turn it into a function.
See also
[edit]Further reading
[edit]- delimited continuation on Wikipedia.Wikipedia