Scheme Request for Implementation 248,
"Minimal delimited continuations",
by Marc Nieper-Wißkirchen,
has gone into final status.

The document and an archive of the discussion are available at https://srfi.schemers.org/srfi-248/.

Here's the 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).

Here is the commit summary since the most recent draft:

• Add SPDX copyright metadata.
• Fix for-each->fold example.
• Be specific about R7RS Small vs. just R7RS.
• copy edits
• Update copyright year
• Add more tests (prompt0/control0)
• Finalize.

Here are the diffs since the most recent draft:

https://github.com/scheme-requests-for-implementation/srfi-248/compare/draft-4..final

Many thanks to Marc and to everyone who contributed to the discussion of this SRFI.

Regards,

SRFI Editor