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

Tom Davies tgdavies at gmail.com
Wed Aug 12 07:44:12 EDT 2009

On 12/08/2009, at 9:09 PM, Peter Verswyvelen wrote:

> Is this really the case? Or is just hard to implement?
> I mean, if...then...else is always kind of lazy in it's 2nd and 3rd
> argument, but I think DDC handles this correctly even with the
> presence of side effects (not sure, but it has a little presentation
> about it: http://cs.anu.edu.au/people/Ben.Lippmeier/talks/poisoning-20090618.pdf)

As I haven't seen it mentioned on this thread: Ben Lippmeier's PhD  
thesis is available:

More information about the Haskell-Cafe mailing list