On Jul 18, 2005, at 10:19 AM, Bayley, Alistair wrote:
From: Jerzy Karczmarczuk [mailto:karczma@info.unicaen.fr]
Bernard Pope wrote:
I'll be a little bit pedantic here. Haskell, the language definition, does not prescribe lazy evaluation. It says that the language is non-strict. Lazy evaluation is an implementation technique which satisfies non-strict semantics, but it is not the only technique which does this.
This pedantry is renewed periodically.
It is a pity that nobody ever writes anything about that other methods of implementation of non-strictness, nor about the languages which use those methods.
I believe it might do some good to people who learn functional programming in general, and Haskell in particular. Any takers?
Not a taker (yet - where can I find information about non-lazy implementation of non-strict languages? From Google so far: speculative evaluation (Eager Haskell), call-by-name vs call-by-need.)
Wikipedia frustratingly hints that "other evaluation strategies are possible", but that's all it says: http://en.wikipedia.org/wiki/Non-strict_programming_language
I volunteered to Jerzy privately, but I'm still not clear what it is people want to know. That'd be more useful than, say, plugging my own research. :-) -Jan-Willem Maessen
Alistair.
----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe