delimited continuation en · NOUN
Etymology
So named because they capture only a portion of the call stack.
Meanings
-
(qualifier:functional programming) A continuation that returns a value and can be composed.
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.
2022, Norman Ramsey, Programming Languages: Build, Prove, and Compare, Cambridge University Press, →ISBN, page 243:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| delimited continuations | Number=Plur | lexicographic |