SRFI 248: Minimal delimited continuations

by Marc Nieper-Wißkirchen

status: draft (2023-10-29)

keywords: Continuations

• The SRFI Document
• Discussion Archive
• Git repo (on GitHub)
• srfi-248@nospamsrfi.schemers.org (subscribers only)
• Subscribe to srfi-248 mailing list

  daily digest?

• Unsubscribe from srfi-248 mailing list

Abstract

Scheme's exception system is extended so that exception handlers gain access to the delimited continuation representing the rest of the computation of the call of the thunk guarded by the handler. Algebraic effect handlers can be directly expressed in this extended exception system. The system directly implements the shift0/reset0 delimited control operators. It is well known that other delimited control operators like prompt0/control0 or reset/shift are expressible in shift0/reset0 (and vice versa).