On Wed, Aug 12, 2009 at 6:34 AM, Derek Elkins <derek.a.elk...@gmail.com>wrote:

>
> Again, it is purity, not laziness, that allows compositional
> reasoning.  Effects destroy compositional reasoning in a strict
> language just as much.


Totality also matters, but for some reason we take that for granted :)

Jason
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to