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!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!news.musoftware.de!wum.musoftware.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Invade wikipedia!
Date: Wed, 25 Feb 2009 18:53:57 +0000
Message-ID: <C5CB4445.10D0BE%yaldnif.w@blueyonder.co.uk>
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>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
X-Trace: individual.net QKW5xcoKOzRMpR3RsSFWVAfAZC90hBwcFfu4nPMcUeLW67qz3H
Cancel-Lock: sha1:WUsZY1S9jBRsCv4e+c6w9dckN3w=
User-Agent: Microsoft-Entourage/12.14.0.081024
Thread-Topic: Invade wikipedia!
Thread-Index: AcmXemmVt9j9LwRh7UapwzaVynx3iA==
Xref: g2news1.google.com comp.lang.ada:3796
Date: 2009-02-25T18:53:57+00:00
List-Id: <comp.lang.ada>

On 25/02/2009 18:13, in article
49a58a60$0$30235$9b4e6d93@newsspool1.arcor-online.net, "Georg Bauhaus"
<rm.dash-bauhaus@futureapps.de> wrote:

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

Could I encourage Randy to say something about this?
I had not heard of this work before, and it sounds very valuable.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk