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

[Tom Davies]

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:
http://cs.anu.edu.au/~Ben.Lippmeier/project/thesis/thesis-lippmeier-sub.pdf