[Scheme-reports] DELAY AND FORCE

Show/hide message thread

Re: [Scheme-reports] ANN: first draft of R7RS small language available OKUMURA Yuki (16 Apr 2011 08:54 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (16 Apr 2011 11:57 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Alex Shinn (16 Apr 2011 12:36 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (16 Apr 2011 12:49 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available OKUMURA Yuki (16 Apr 2011 17:00 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (16 Apr 2011 17:09 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (16 Apr 2011 17:21 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (16 Apr 2011 17:26 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Alex Shinn (17 Apr 2011 00:14 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (17 Apr 2011 02:02 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andy Wingo (29 Apr 2011 11:17 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andy Wingo (29 Apr 2011 12:36 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Vitaly Magerya (29 Apr 2011 13:30 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (29 Apr 2011 13:56 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Vitaly Magerya (29 Apr 2011 16:41 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (29 Apr 2011 16:49 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (29 Apr 2011 17:02 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Vitaly Magerya (29 Apr 2011 17:30 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (29 Apr 2011 19:35 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andy Wingo (29 Apr 2011 14:07 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Vitaly Magerya (29 Apr 2011 15:33 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (29 Apr 2011 16:20 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andy Wingo (29 Apr 2011 17:25 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available John Cowan (29 Apr 2011 17:38 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available John Cowan (29 Apr 2011 18:11 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Andre van Tonder (29 Apr 2011 18:45 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (29 Apr 2011 19:55 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (29 Apr 2011 19:49 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (29 Apr 2011 23:40 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available John Cowan (01 May 2011 04:41 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Alex Shinn (09 May 2011 14:00 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Eli Barzilay (10 May 2011 21:26 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available Aaron W. Hsu (29 Apr 2011 23:34 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available John Cowan (30 Apr 2011 00:54 UTC)

Re: [Scheme-reports] ANN: first draft of R7RS small language available John Cowan (16 Apr 2011 19:00 UTC)

[Scheme-reports] DELAY AND FORCE Andre van Tonder (23 Apr 2011 22:20 UTC)

[Scheme-reports] Regions of imports unspecified Andre van Tonder (23 Apr 2011 22:31 UTC)

Re: [Scheme-reports] Regions of imports unspecified John Cowan (23 Apr 2011 22:43 UTC)

Re: [Scheme-reports] Regions of imports unspecified Alex Shinn (24 Apr 2011 01:59 UTC)

[Scheme-reports] What are regions of toplevel imports? Andre van Tonder (23 Apr 2011 23:41 UTC)

Re: [Scheme-reports] What are regions of toplevel imports? Alex Shinn (24 Apr 2011 02:07 UTC)

[Scheme-reports] Internal syntax definition order problem Andre van Tonder (23 Apr 2011 22:39 UTC)

Re: [Scheme-reports] Internal syntax definition order problem John Cowan (23 Apr 2011 22:49 UTC)

[Scheme-reports] Mutable exports Andre van Tonder (23 Apr 2011 22:48 UTC)

Re: [Scheme-reports] Mutable exports Alex Shinn (24 Apr 2011 02:00 UTC)

[Scheme-reports] Internal definition shadowing problems Andre van Tonder (23 Apr 2011 23:19 UTC)

[Scheme-reports] Importing identifier more than once Andre van Tonder (23 Apr 2011 23:37 UTC)

Re: [Scheme-reports] Importing identifier more than once John Cowan (24 Apr 2011 06:50 UTC)

Re: [Scheme-reports] Internal definition shadowing problems Aaron W. Hsu (12 May 2011 22:48 UTC)

[Scheme-reports] DELAY AND FORCE Andre van Tonder 23 Apr 2011 22:19 UTC

Some comments:

p 14: Waddell showed a long time ago that DELAY and FORCE are not
       the correct primitives for lazy evaluation in a strict language.
       In short, it is impossible to write properly iterative lazy programs that
       don't have memory leaks with just DELAY and FORCE.  This is discussed in
       more detail in SRFI 45 and references therein.

       Since the original Scheme report took so much trouble to get iterative
       tail recursion right, it would be a shame if the report got lazy
       evaluation wrong again - I believe DELAY and FORCE were removed from
       (R6RS BASE) for this reason among others.  I would suggest removing
       DELAY and FORCE from WG1 as well.

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports