On Tue, Nov 3, 2009 at 3:14 PM, Ben Lippmeier <ben.lippme...@anu.edu.au>wrote:

> David Leimbach wrote:
>
>> Disciplined Disciple might be interesting to look at here too, but i'm not
>> sure I'd deploy anything with DDC just yet :-)
>>
> :) Nor would I (and I wrote most of it). I think the approach is right, but
> the compiler itself is still in the "research prototype" stage.
>
> Ben.
>
>
I have to admit, the first time I hit the wiki page for DDC I said to myself
"Self, this sounds crazy complicated".  Then I read part of the PDF (your
thesis I believe) about Region Types on the bus ride to work and thought.
 "Gee I think I scared myself off too quickly".

Uniqueness typing is quite interesting in Clean, but to control aliasing,
like really *control* aliasing, that's just far out man.

So I still have to wrap my head around "why this isn't going to get
completely out of control" and see why it's all safer than just writing C
code but I must say the attention I will be paying to DDC has just gone
quite a bit up.

Dave
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to