Re: [Scheme-reports] DELAY AND FORCE

[John Cowan <cowan@x>]

Andre van Tonder scripsit:

> 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.

I agree, and proposed LAZY and EAGER as ticket #55.  However,
the WG voted it down on the strength of Alex's arguments at
https://groups.google.com/forum/#!msg/scheme-reports-wg1/qzAeT7395Sk/fTlT-BYTVysJ .
If you can rebut these, please do.

-- 
John Cowan   http://ccil.org/~cowan  cowan@x
[P]olice in many lands are now complaining that local arrestees are insisting
on having their Miranda rights read to them, just like perps in American TV
cop shows.  When it's explained to them that they are in a different country,
where those rights do not exist, they become outraged.  --Neal Stephenson

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