<br><br><div class="gmail_quote">On Tue, Nov 3, 2009 at 3:14 PM, Ben Lippmeier <span dir="ltr"><<a href="mailto:Ben.Lippmeier@anu.edu.au">Ben.Lippmeier@anu.edu.au</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">David Leimbach wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Disciplined Disciple might be interesting to look at here too, but i'm not sure I'd deploy anything with DDC just yet :-)<br>
</blockquote></div>
:) 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.<br><font color="#888888">
<br>
Ben.<br>
<br></font></blockquote><div><br></div><div>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".</div>
<div><br></div><div>Uniqueness typing is quite interesting in Clean, but to control aliasing, like really *control* aliasing, that's just far out man.</div><div><br></div><div>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.</div>
<div><br></div><div>Dave</div></div><br>