SRFI 154: First-class dynamic extents

by Marc Nieper-Wißkirchen

status: withdrawn (2023-06-29)

keywords: Miscellaneous

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

  daily digest?

• Unsubscribe from srfi-154 mailing list

Abstract

Scheme has the notion of the dynamic extent of a procedure call. A number of standard Scheme procedures and syntaxes like dynamic-wind, call-with-current-continuation, and parameterize deal with the dynamic extent indirectly. The same holds true for the procedures and syntaxes dealing with continuation marks as defined by SRFI 157.

This SRFI reifies the dynamic extent into a first-class value together with a well-defined procedural interface and a syntax to create procedures that remember not only their environment at creation time but also their dynamic extent, which includes their dynamic environment.