[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Re : unwind-protect

To: scheme@mc.lcs.mit.edu
Subject: Re: Re : unwind-protect
From: uoregon!will@beaver.cs.washington.edu (William Clinger)
Date: Mon ,3 Oct 88 18:20:36 EDT
Organization: University of Oregon, Computer Science, Eugene OR
References: <16407@shemp.CS.UCLA.EDU>, <19881003111852.6.MAEDA@PELE.ACA.MCC.COM>
Sender: scheme-request@mc.lcs.mit.edu

>Hmm.  How would unwind-protect be expressed with just call/cc?

UNWIND-PROTECT is trivial to implement in terms of DYNAMIC-WIND, which can
be implemented in terms of CALL-WITH-CURRENT-CONTINUATION provided the
Scheme system permits CALL-WITH-CURRENT-CONTINUATION to be redefined,
uses close-coded calls to CALL-WITH-CURRENT-CONTINUATION for all captures
of a continuation, and contains no pre-captured continuations.

An implementation appears in Haynes and Friedman, Embedding Continuations
in Procedural Objects, TOPLAS 9, 4 (October 1987), pages 582-598.

Peace,
William Clinger

References:
- Re : unwind-protect
  - From: pierce@locus.ucla.edu
- Re : unwind-protect
  - From: Christopher Maeda <maeda@MCC.COM>

Prev by Date: Re : unwind-protect
Next by Date: scheme-standard mailing list
Previous by thread: Re : unwind-protect
Next by thread: scheme-standard mailing list
Index(es):
- Date
- Thread