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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no 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!inka.de!rz.uni-karlsruhe.de!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Invade wikipedia!
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
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>
Date: Wed, 25 Feb 2009 20:17:23 +0100
Message-ID: <yc6l1d4n2exq.dy9mj7aedsic.dlg@40tude.net>
NNTP-Posting-Date: 25 Feb 2009 20:17:25 CET
NNTP-Posting-Host: f8ffd22f.newsspool1.arcor-online.net
X-Trace: 
 DXC=BNo5Q[KJL0DC4i^e1BZ=_Hic==]BZ:afN4Fo<]lROoRA^YC2XCjHcbI?e[kjDe[CeHDNcfSJ;bb[EIRnRBaCd<MNP2WJQD[5GSHPlXD2=h^M^J
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:4768
Date: 2009-02-25T20:17:25+01:00
List-Id: <comp.lang.ada>

On Wed, 25 Feb 2009 19:13:51 +0100, Georg Bauhaus 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.

The danger of astray comments is that the program is not checked against
them. Pre-/postconditions aren't checkable in exactly same way as comments
aren't. It is the program which becomes checkable in presence of [static]
pre-/postconditions, not the conditions themselves.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de