On Wed, Aug 12, 2009 at 6:34 AM, Derek Elkins <[email protected]>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 [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
