Re: DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

On Wed, Aug 12, 2009 at 6:34 AM, Derek Elkins 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