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: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.95.3 with SMTP id dg3mr1563719wib.4.1363918479345;
        Thu, 21 Mar 2013 19:14:39 -0700 (PDT)
Path: 
 p18ni6019wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 16 Mar 2013 17:10:17 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <ki034o$6g6$1@munin.nbi.dk>
 <hiybjkhz3p5d.1x6dxfr1ptgcg.dlg@40tude.net>
 <1320854478385114328.944480rm-host.bauhaus-maps.arcor.de@news.arcor.de>
 <67810vo62ikk$.sn112ruycoaw.dlg@40tude.net>
 <5144597d$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <4dmdbmzm1ti0$.17x4ya0k57x2x.dlg@40tude.net>
In-Reply-To: <4dmdbmzm1ti0$.17x4ya0k57x2x.dlg@40tude.net>
Message-ID: <51449969$0$6637$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 16 Mar 2013 17:10:17 CET
NNTP-Posting-Host: bc7c4313.newsspool2.arcor-online.net
X-Trace: 
 DXC=736Q::nGHWJI7\_^6>c20JA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOK?^j^cdi7H0HPCY\c7>ejVHKoE9cE1F;LJ?gobM`=\A`K
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-03-16T17:10:17+01:00
List-Id: <comp.lang.ada>

On 16.03.13 14:04, Dmitry A. Kazakov wrote:
> On Sat, 16 Mar 2013 12:37:33 +0100, Georg Bauhaus wrote:
>
>> On 16.03.13 11:27, Dmitry A. Kazakov wrote:
>>
>>>> And "contract" adds another source of lexical ambiguities.
>>>
>>> Source of lexical ambiguities? This sounds like an encoding problem.
>>
>> It is a problem of semantics.
>
> A problem of semantics is lexical ambiguity...?

Lexical ambiguity as in "This word can be understood in two or more
different ways".  The word "contract" is of this kind, which is one
cause of heated debate.


> Why don't you simply explain why in your opinion Positive is not a type?

Whether or not Positive'Succ *is* invariant depends solely on definitions
of Ada, not on my opinion. Whether or not 'Succ *should* become something
else in order for a certain kind of types-with-predicates to work has been,
and is an interesting question. It is not satisfactorily answered, though,
by saying the what *is* is not what it is but claiming that it is what it
*should* be (algebraic "sub-types", inheritance, whatever). It isn't (both
senses).


> To paraphrase Omar: if those books are in agreement with the RM, we have no
> need of them; and if these are opposed to the RM, destroy them. (:-))

I only asked that words should be marked as referring to Ada or to something else.