Hi,<div><br></div><div>I posted about this on the NG a good while back, but didn't get any feedback, so I'm trying here.</div><div><br></div><div>Just a 'few' contract-related issues:<br>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=6857">http://d.puremagic.com/issues/show_bug.cgi?id=6857</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=7584">http://d.puremagic.com/issues/show_bug.cgi?id=7584</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=6549">http://d.puremagic.com/issues/show_bug.cgi?id=6549</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=6856">http://d.puremagic.com/issues/show_bug.cgi?id=6856</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=7337">http://d.puremagic.com/issues/show_bug.cgi?id=7337</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=5039">http://d.puremagic.com/issues/show_bug.cgi?id=5039</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=7517">http://d.puremagic.com/issues/show_bug.cgi?id=7517</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=519">http://d.puremagic.com/issues/show_bug.cgi?id=519</a> </div><div><br>More subtle issues:<br>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=2350">http://d.puremagic.com/issues/show_bug.cgi?id=2350</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=4995">http://d.puremagic.com/issues/show_bug.cgi?id=4995</a>
<br>
<br>Syntactical issues/enhancements:<br>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=6415">http://d.puremagic.com/issues/show_bug.cgi?id=6415</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=5038">http://d.puremagic.com/issues/show_bug.cgi?id=5038</a>
<br>* <a class="moz-txt-link-freetext" href="http://d.puremagic.com/issues/show_bug.cgi?id=6453">http://d.puremagic.com/issues/show_bug.cgi?id=6453</a>
</div><div><br></div><div>Some of these issues are making contract programming in non-trivial D applications rather annoying compared to other languages such as C# with Code Contracts, Spec#, etc. See in particular 6549, 6856, 7337, 5039, 7517, 519, and 6453. Some of the issues above have pending pull requests too.</div>
<div><br></div><div>Could some focus be put on sorting (at least some of) these issues out for this release? One of the top reasons I use D is because it has contract programming - it really helps one reason about complex software systems - so it would be nice if the implementation quality was improved to be more practical. Just the lack of contracts in abstract methods cripples the DbC support severely.</div>
<div><br></div><div>Regards,</div><div>Alex</div>