Re: Invade wikipedia!

["Randy Brukardt" <randy@rrsoftware.com>]

"Georg Bauhaus" <rm.dash-bauhaus@futureapps.de> wrote in message 
news:49a599ac$0$30225$9b4e6d93@newsspool1.arcor-online.net...
> (see below) schrieb:
>
>>> All the more we could profit from pre/post assertions
>>> and invariant type constraints specified by the programmer.
>>> Perfectly clear, checkable, and international.
>>>
>>> Doesn't someone have the ressouces to help Randy Brukardt
>>> continue his work on these?  Please! :-) :-) :-)
>>
>> Could I encourage Randy to say something about this?
>> I had not heard of this work before, and it sounds very valuable.
>>
>
> There is a longer thread entitled "contracts in Ada" on the
> Ada Comments mailing list, started by Robert Duff discussing
> "AI95-00288 (and perhaps AI95-00375)" on Jan 10th 2009.
> This is archived, there is a description of a procedure
> for searching the archives in
> http://www.adaic.org/standards/articles/comment.html
> Haven't tried this myself, though.

Actually, it is easier to see that thread by looking in AI05-0145-1 and 
AI05-0146-1. But a word of warning: we've changed those proposals a lot 
based on the discussions at last week's ARG meeting. So you may want to wait 
for the minutes of that meeting and the revised proposals (whenever they'll 
be done) before commenting on them. (In fact, I suspect we'd all appreciate 
it if you did that, because repeating previous discussions is no fun...)

                            Randy.