Satnam Singh [http://research.microsoft.com/en-us/people/satnams/] writes:

> Not only do lazy pure functional programmers know the cost of nothing, they don't know _when_ they know the cost of nothing.

on the time (several hours) needed to find and fix a space leak by Simon Marlow [http://research.microsoft.com/en-us/people/simonmar/].

Original message can be found here: https://plus.google.com/107890464054636586545/posts/T9c7GuoAS4r [cited 2012/02/29]

-manfred

Manfred Nowak:

> Satnam Singh [http://research.microsoft.com/en-us/people/satnams/] writes:
> 
> > Not only do lazy pure functional programmers know the cost of nothing, they don't know _when_ they know the cost of nothing.
> 
> on the time (several hours) needed to find and fix a space leak by Simon Marlow [http://research.microsoft.com/en-us/people/simonmar/].

Simon Peyton-Jones says that the next Haskell should be strict and pure, the next ML should be pure with monads, and that purity is more important than laziness. So lazyness is good to have, but it's better to not have it on default.

Bye,
bearophile