Continuation

Definitions

1. An abstract representation of 'the rest of the computation' at any given point in a program. First-class continuations (call/cc in Scheme) allow capturing and resuming execution at arbitrary points, enabling implementation of exceptions, coroutines, backtracking, and time-travel debugging.

   In plain English: A snapshot of 'what happens next' in a program that you can save and come back to later.

   Example: "call/cc captures the current continuation — you can store it and jump back to that exact point later, like a save state in a video game."

Related Terms

• Continuation
• Cut
• Discriminated Union
• Horn Clause
• Pattern Matching
• Algebraic Data Type
• Referential Transparency
• Effect System
• Algebraic Effects