• Manfred Nowak (8/10) Feb 28 2012 on the time (several hours) needed to find and fix a space leak by
• bearophile (4/12) Feb 28 2012 Simon Peyton-Jones says that the next Haskell should be strict and pure,...

Manfred Nowak <svv1999 hotmail.com> writes:

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

bearophile <bearophileHUGS lycos.com> writes:

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