From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,587e0e0a16d65b10
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!solaris.cc.vt.edu!news.vt.edu!elk.ncren.net!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
Date: Wed, 25 Feb 2009 17:48:35 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccy6vuyvy4.fsf@shell01.TheWorld.com>
References: <l6k0og.o0o.ln@hunter.axlog.fr>
 <1tw8gryqdolal$.1osqedj9x821c.dlg@40tude.net>
 <5c44eaae-631d-46d2-8384-86af79d5e048@n20g2000vba.googlegroups.com>
 <944a1924-0fa7-487f-a94d-084a2be1b231@v31g2000vbb.googlegroups.com>
 <WCZol.586329$yE1.342435@attbi_s21>
 <b26ae712-a4e9-49d1-9869-aa29626fb5e5@t13g2000yqc.googlegroups.com>
 <9f2553d3-66f5-4708-a237-bfef1d8404f4@v42g2000yqj.googlegroups.com>
 <C5CA3442.10CF05%yaldnif.w@blueyonder.co.uk>
 <ygeab8bvt3s.fsf@sparre-andersen.dk>
 <4013d6a4-f4f4-4d6e-92bd-161687608db9@w9g2000yqa.googlegroups.com>
 <C5CB1DE7.10D05A%yaldnif.w@blueyonder.co.uk>
 <49a58a60$0$30235$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: pcls6.std.com 1235602115 30406 192.74.137.71 (25 Feb 2009 22:48:35
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 25 Feb 2009 22:48:35 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:IjU2vZ52r5pAHafceIsyhZmjQhU=
Xref: g2news1.google.com comp.lang.ada:3804
Date: 2009-02-25T17:48:35-05:00
List-Id: <comp.lang.ada>

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> (see below) schrieb:
>> On 25/02/2009 08:59, in article
>> 4013d6a4-f4f4-4d6e-92bd-161687608db9@w9g2000yqa.googlegroups.com, "Hibou57
>> (Yannick Duch�ne)" <yannick_duchene@yahoo.fr> wrote:
>
>>> If comments are dangerous, so the human though which drives the
>>> application developpement (or order it), is as much dangerous.
>> 
>> True, but the compiler checks the human (through their code).
>> It does not check the comments.
>
> 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! :-) :-) :-)

Both ARG and AdaCore are actively working on these things.

The latest GNAT compiler has some support for pre- and postconditions.
No invariants, yet.  Invariants are the most important thing, IMHO,
but it's not easy to figure out the right semantics.  I am currently
pushing for invariants on subtypes (not just types).

- Bob