Email list hosting service & mailing list manager


Final SRFI 157: Continuation marks Arthur A. Gleckler 29 Jan 2018 19:18 UTC

Scheme Request for Implementation 157,
"Continuation marks,"
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-157/>.

Here's the abstract:

  Continuation marks are a programming language feature that
  allows one to attach information to and retrieve
  information from continuations, generalizing stack
  inspection.  Conceptually, a continuation consists of a
  number of frames where each frame stands for an active
  procedure call that is not a tail call.  A continuation
  mark is then a key-value pair associated with a frame,
  with keys compared using eq?.  At most one mark for a
  given key can be attached to a single frame.

  Besides stack inspection, continuation marks can be used
  to implement dynamic scope, delimited continuations, or
  delayed evaluation that is able to handle iterative lazy
  algorithms.

  This SRFI proposes to add continuation marks to the Scheme
  programming language.  The interface defined here is
  modelled after Racket's continuation marks.  It does not
  include all forms and procedures provided by Racket but
  provides a compatible subset.

Regards,

SRFI Editor