[Haskell-cafe] Preventing sharing

[Henk-Jan van Tuyl]

On Mon, 21 Dec 2015 12:55:05 +0100, Oleg <oleg at okmij.org> wrote:

:
> The only reason to have laziness
> is to avoid recomputations of argument computations should an argument
> be used more than once -- at the cost of taking memory to store the
> result of the first evaluation. Thus "performing a time optimization
> which is a space pessimization" is exactly what laziness is all about
> -- as the article mentioned earlier argued. Laziness isn't an absolute
> good -- it is a time-space trade-off, which is not always beneficial.

In paper "Why Functional Programming Matters"[0], John Hughes shows how  
lazy functional programming can be used for better modularity. A more  
precise title for the paper would be "Why Lazy Functional Programming  
Matters".

Regards,
Henk-Jan van Tuyl


[0] http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf


-- 
Folding at home
What if you could share your unused computer power to help find a cure? In  
just 5 minutes you can join the world's biggest networked computer and get  
us closer sooner. Watch the video.
http://folding.stanford.edu/


http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--