delimited continuation

English

Etymology

So named because they capture only a portion of the call stack.

Noun

delimited continuation (plural delimited continuations)

  1. (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

Further reading

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.