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

[Bayley, Alistair]

> 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


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