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,73cb216d191f0fef
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.76.235 with SMTP id n11mr364856wiw.0.1363341984469;
        Fri, 15 Mar 2013 03:06:24 -0700 (PDT)
Path: 
 g1ni67114wig.0!nntp.google.com!proxad.net!feeder1-2.proxad.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 15 Mar 2013 11:05:39 +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: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <wccmwu8r0xh.fsf@shell01.TheWorld.com>
 <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net>
 <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net>
 <b3jec1s37hwu$.bg5cvsul0r5$.dlg@40tude.net>
 <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net>
 <aufd7vornmrk.2dxqrc3egrtg$.dlg@40tude.net> <khphpb$5f1$1@dont-email.me>
 <w46epyd1vjc2.1e1bviaog2kwi$.dlg@40tude.net>
 <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net>
 <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net>
 <vxjicagtvzjg.1bcu3fzy711ux$.dlg@40tude.net>
 <5140f1ad$0$6634$9b4e6d93@newsspool2.arcor-online.net>
 <7jct0noryc1v.1rnj5kkzx6m35.dlg@40tude.net>
 <5141c499$0$6642$9b4e6d93@newsspool2.arcor-online.net>
 <18r2kop6fyozu.tctrjnghfxqs.dlg@40tude.net> <khstap$f55$1@dont-email.me>
 <1wv3p3nrtejfk$.bwebhg9agt0l.dlg@40tude.net>
 <51421404$0$6576$9b4e6d93@newsspool3.arcor-online.net>
 <14xhnqpbsbb2n$.6qp6jzl886e5$.dlg@40tude.net>
In-Reply-To: <14xhnqpbsbb2n$.6qp6jzl886e5$.dlg@40tude.net>
Message-ID: <5142f270$0$6638$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 Mar 2013 11:05:37 CET
NNTP-Posting-Host: 01c1db51.newsspool2.arcor-online.net
X-Trace: 
 DXC=FcadQ5`S9aMlU`@c^jLCbJA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOKUH1g8W5ZBkEnc\616M64>JLh>_cHTX3jMD]AKogh2RMD
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-03-15T11:05:37+01:00
List-Id: <comp.lang.ada>

On 15.03.13 10:33, Dmitry A. Kazakov wrote:
> On Thu, 14 Mar 2013 19:16:35 +0100, Georg Bauhaus wrote:
>
>> On 14.03.13 18:29, Dmitry A. Kazakov wrote:
>>>>> And please, we are talking about Ada here, not KOVOA (Kasakov's Own View
>>>>> of Ada).
>>> Yes, it is my view of Ada. You have yours. What is wrong with that?
>>
>> An analogy:
> [...]
>
> You are confusing program with the language of.

I did chose this confused view to demonstrate what will be the
effect of confusing subtype constraints (or not, as in 'Succ)
and types in the sense everyone here is supposed to approach
the word "type". Except when indicated.

Ada is then not a typed LSP language at the level of subtype constraints
and attributes of types. Make it such a language, make it convincing,
and define a model that can be turned into Ada language definitions.

But, please, mark those phrases that say "problem" as "problem
if 'Succ is viewed as a function that is different from how it
is defined" in the universe of c.l.ada, but could be defined
if 'Succ were an operation of a subtype turned ADT (which it
isn't, in Ada).

> OOPL supports certain kinds of ADT's at the language level.

Right. At the language level,
Ada does not support certain kinds of LSP at the subtype level (well),
Ada does not support equating types and subtypes, and
Ada does not support equating ADTs and type with all attributes.

Because type /= subtype, here, at the language level.

That's why I had chosen the OOP view of C. It's not an OOP
at the language level.