[dmd-internals] The state of contract programming

[Walter Bright]

I added a keyword "contracts" to bugzilla which you can use to tie these all 
together.

On 5/2/2012 11:43 AM, Alex Rønne Petersen wrote:
> Hi,
>
> I posted about this on the NG a good while back, but didn't get any feedback, 
> so I'm trying here.
>
> Just a 'few' contract-related issues:
>
> * http://d.puremagic.com/issues/show_bug.cgi?id=6857
> * http://d.puremagic.com/issues/show_bug.cgi?id=7584
> * http://d.puremagic.com/issues/show_bug.cgi?id=6549
> * http://d.puremagic.com/issues/show_bug.cgi?id=6856
> * http://d.puremagic.com/issues/show_bug.cgi?id=7337
> * http://d.puremagic.com/issues/show_bug.cgi?id=5039
> * http://d.puremagic.com/issues/show_bug.cgi?id=7517
> * http://d.puremagic.com/issues/show_bug.cgi?id=519
>
> More subtle issues:
>
> * http://d.puremagic.com/issues/show_bug.cgi?id=2350
> * http://d.puremagic.com/issues/show_bug.cgi?id=4995
>
> Syntactical issues/enhancements:
>
> * http://d.puremagic.com/issues/show_bug.cgi?id=6415
> * http://d.puremagic.com/issues/show_bug.cgi?id=5038
> * http://d.puremagic.com/issues/show_bug.cgi?id=6453
>
> 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.
>
> 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.
>
> Regards,
> Alex
>
>
> _______________________________________________
> dmd-internals mailing list
> dmd-internals at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/dmd-internals/attachments/20120502/dc03f248/attachment.html>