Article View: comp.lang.functional
Article #101Re: ** LAZY LANGUAGES FASTER?? **
From: John Farrell
Date: Wed, 29 Jul 1992 01:38
Date: Wed, 29 Jul 1992 01:38
17 lines
1441 bytes
1441 bytes
In <1992Jul28.140801.21895@crl.dec.com> nikhil@crl.dec.com (R.S. Nikhil) writes: >In article <farrell.712286497@coral.cs.jcu.edu.au>, farrell@coral.cs.jcu.edu.au (John Farrell) writes: >> *Non-strict* evaluation saves time by not evaluating arguments which are not >> needed. >Pardon my nit-picking, but this is not true. I refer you to my earlier posting >(last week?) in which I pointed out that evaluators CAN work on unnecessary >arguments while preserving non-strictness. My statement is true if you are implementing non-strict evaluation on a sequential machine, in which case speculative evaluation can cause non-termination unless you can prove that the argument being speculatively evaluated was needed, and at the very least speculatively evaluating an unneeded argument will waste time. Your nit-picking is pardoned :-). John
Technical Details
Message-ID:
<farrell.712373890@coral.cs.jcu.edu.au>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!marlin.jcu.edu.au!coral.cs.jcu.edu.au!farrellReferences:
<1992Jul24.134857.23289@gdstech.grumman.com> <3737@svin02.info.win.tue.nl> <farrell.712286497@coral.cs.jcu.edu.au> <1992Jul28.140801.21895@crl.dec.com>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.functional Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!marlin.jcu.edu.au!coral.cs.jcu.edu.au!farrell From: farrell@coral.cs.jcu.edu.au (John Farrell) Subject: Re: ** LAZY LANGUAGES FASTER?? ** Message-ID: <farrell.712373890@coral.cs.jcu.edu.au> Sender: news@marlin.jcu.edu.au (USENET News System) Organization: James Cook University References: <1992Jul24.134857.23289@gdstech.grumman.com> <3737@svin02.info.win.tue.nl> <farrell.712286497@coral.cs.jcu.edu.au> <1992Jul28.140801.21895@crl.dec.com> Date: 29 Jul 92 01:38:10 GMT Lines: 17