www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - [OT] A Note on Lazy Pure Functional Programming

reply 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
Feb 28 2012
parent 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
Feb 28 2012