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: 
 g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed.freenet.de!bolzen.all.de!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 25 Feb 2009 19:13:51 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.19 (Macintosh/20081209)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
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>
In-Reply-To: <C5CB1DE7.10D05A%yaldnif.w@blueyonder.co.uk>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Message-ID: <49a58a60$0$30235$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 25 Feb 2009 19:13:52 CET
NNTP-Posting-Host: cf8fd0c7.newsspool1.arcor-online.net
X-Trace: 
 DXC=jRV9?R=\377L2C_`koXfC5ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb9K@IAnBOcfk8;9OJDO8_SK6NSZ1n^B98i:Wdc7mA1`dV<
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:4766
Date: 2009-02-25T19:13:52+01:00
List-Id: <comp.lang.ada>

(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! :-) :-) :-)