<div dir="ltr">I don't see any problem with a DIP. However, I'm concerned by complexity and complications when having to define feature that aren't completely orthogonal.<br></div><div class="gmail_extra"><br><div class="gmail_quote">2015-10-30 18:29 GMT-07:00 Timon Gehr <span dir="ltr"><<a href="mailto:timon.gehr@gmx.ch" target="_blank">timon.gehr@gmx.ch</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 10/30/2015 10:44 PM, deadal nix wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I don't think the case for baking @rc into the language has been made at<br>
this point. Providing guarantee about escaping is necessary and<br>
sufficient to build RC. Providing more needs to be justified. Right now,<br>
the only reason I've seen for this is optimization, but intrinsics are<br>
largely sufficient for this, and don't even need to be standardized.<br>
<br>
</blockquote>
<br></span>
Providing guarantees about escaping is not necessary except for optimizations. The reason for baking @rc into the language is that we want to be able to @safely escape the 'this' reference for reference-counted classes. I don't know if this is a strong enough case, but that does not prevent the DIP from being written. I think @rc does not conflict with type system features for managing lifetimes.<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Dlang-study mailing list<br>
<a href="mailto:Dlang-study@puremagic.com" target="_blank">Dlang-study@puremagic.com</a><br>
<a href="http://lists.puremagic.com/cgi-bin/mailman/listinfo/dlang-study" rel="noreferrer" target="_blank">http://lists.puremagic.com/cgi-bin/mailman/listinfo/dlang-study</a><br>
</div></div></blockquote></div><br></div>