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,ad06d2d7cb045687
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.135.231 with SMTP id pv7mr16069341pbb.8.1328085746848;
        Wed, 01 Feb 2012 00:42:26 -0800 (PST)
Path: 
 lh20ni247843pbb.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Silly and stupid =?UTF-8?B?cG9zdOKAkWNvbmRpdGlvbiBvciBub3TCoA==?=
 =?UTF-8?B?Pw==?=
Date: Wed, 1 Feb 2012 09:41:48 +0100
Organization: cbb software GmbH
Message-ID: <1wn5azarpihb1.13g4tvu7fddve.dlg@40tude.net>
References: <op.v8w6ptk5ule2fv@douda-yannick>
 <12kegkefstjiy.115bw2vmx23ll.dlg@40tude.net>
 <4f27b5e8$0$6628$9b4e6d93@newsspool2.arcor-online.net>
 <19jyp0vyqkcop$.6oatj9p6pcp1$.dlg@40tude.net>
 <4f27dfa5$0$6570$9b4e6d93@newsspool4.arcor-online.net>
 <12pod8zxdo56v.16pnewlc853au$.dlg@40tude.net>
 <4f280a00$0$6583$9b4e6d93@newsspool3.arcor-online.net>
 <r176484qtwsf.ia6ftfe1d5kh$.dlg@40tude.net>
 <4f284488$0$6634$9b4e6d93@newsspool2.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-02-01T09:41:48+01:00
List-Id: <comp.lang.ada>

On Tue, 31 Jan 2012 20:44:07 +0100, Georg Bauhaus wrote:

> On 31.01.12 17:24, Dmitry A. Kazakov wrote:
>> On Tue, 31 Jan 2012 16:34:23 +0100, Georg Bauhaus wrote:
>>
>>> The program below is also an example of Ada's POV.
>>
>> I fail to see your point.
> 
> The point is that from Ada's POV, there is a preference
> for detecting many things early. But this preference does
> not mean that all things would be detected by the compiler,
> or should be detected by the compiler.

Don't mix undecidable things with undefined ones. That pre-/postconditions
should have been decidable is another story. This train has already left. 

But that seems not bad enough. To make the disaster complete, it should
become undefined as well. Right?

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