Where can I read about this type system proposal you speak of?<br><br><div class="gmail_quote">2010/8/13 Tomek Sowiński <span dir="ltr"><<a href="mailto:just@ask.me">just@ask.me</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
dsimcha napisał:<br>
<div class="im"><br>
> 1. It's difficult to create non-trivial immutable data structures, and<br>
> often impossible without relying on either unchecked casts or unnecessary<br>
> copying.<br>
<br>
</div>Yes. I think the only true solution is 'unique' in the language. This is my most wanted from Bartosz's type system proposal. Ah well, so<br>
when's D3 coming out? :)<br>
<font color="#888888"><br>
<br>
Tomek<br>
</font></blockquote></div><br>