delimited continuation

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

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

Noun[edit]

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[edit]

Further reading[edit]