Re: Contract checking in Ada

[Martin Dowie <martin.dowie@btopenworld.com>]

Tapio Kelloniemi wrote:
> But back to my original question, how could I implement programming by
> contract now when the designers have abandoned it in their great wisdom?

And I don't think you're being very fair to the Ada0Y team. The effort 
that has gone into/is going into it is still huge!

It would be great if there were dozens of volunteers to promote new 
proposals but the sad truth is very few people are capable of writing an 
amendment to the RM (and I certainly include myself is the 'not able' 
camp). When people talk about "language lawyers" it isn't far from the 
truth! The knowledge of the language has to be absolutely inside-out if 
you want to be able to amend the actual language - not so much the 
standard library but even that's tricky.

Cheers

-- Martin