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

[Scheme-reports] DELAY AND FORCE

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