[Haskell-cafe] Strict and non-strict vs eager and lazy, was C onfused about Cyclic struture

Jan-Willem Maessen jmaessen at alum.mit.edu
Tue Jul 19 08:10:48 EDT 2005


On Jul 18, 2005, at 10:19 AM, Bayley, Alistair wrote:
>> From: Jerzy Karczmarczuk [mailto:karczma at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe


More information about the Haskell-Cafe mailing list