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
