[dmd-internals] The state of contract programming

[Alex Rønne Petersen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/dmd-internals/attachments/20120502/9329d393/attachment.html>