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

Jason Dagit dagit at codersbase.com
Wed Aug 12 10:20:21 EDT 2009

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090812/00df767f/attachment.html

More information about the Haskell-Cafe mailing list