[Haskell-cafe] Preventing sharing

Henk-Jan van Tuyl hjgtuyl at chello.nl
Mon Dec 21 15:50:38 UTC 2015

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  

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.

Haskell programming

More information about the Haskell-Cafe mailing list