[dmd-internals] The state of contract programming

[Alex Rønne Petersen]

Tagged a bunch of contract-related issues with that.

Other issues discovered in the process:

* http://d.puremagic.com/issues/show_bug.cgi?id=4720
* http://d.puremagic.com/issues/show_bug.cgi?id=3856
* http://d.puremagic.com/issues/show_bug.cgi?id=5027
* http://d.puremagic.com/issues/show_bug.cgi?id=5204
* http://d.puremagic.com/issues/show_bug.cgi?id=6118
* http://d.puremagic.com/issues/show_bug.cgi?id=6058
* http://d.puremagic.com/issues/show_bug.cgi?id=6278
* http://d.puremagic.com/issues/show_bug.cgi?id=6417
* http://d.puremagic.com/issues/show_bug.cgi?id=7883
* http://d.puremagic.com/issues/show_bug.cgi?id=7910

Thanks for taking the time to look into these!

Regards,
Alex

On Thu, May 3, 2012 at 3:14 AM, Walter Bright <walter at digitalmars.com>wrote:

>  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 listdmd-internals at puremagic.comhttp://lists.puremagic.com/mailman/listinfo/dmd-internals
>
>
> _______________________________________________
> 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/20120503/33f864f3/attachment-0001.html>