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,39579ad87542da0e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.109.111 with SMTP id hr15mr2943690wib.1.1369279417988;
        Wed, 22 May 2013 20:23:37 -0700 (PDT)
Path: 
 fw11ni1136wic.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.87.MISMATCH!newsfeed.xs4all.nl!newsfeed1.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!feeder.erje.net!eu.feeder.erje.net!newsfeed.datemas.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 15 May 2013 16:43:25 +0200
From: "G.B." <rm-dash-bau-haus@dash.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: Seeking for papers about tagged types vs access to subprograms
References: <op.wv8jh1c1ule2fv@cardamome> <op.wwbvqzkeule2fv@cardamome>
 <op.wwnp2zkrule2fv@cardamome> <u3jaslg5kca7.1gk5ds3d4sx2y$.dlg@40tude.net>
 <op.wwnsmtteule2fv@cardamome> <17ceq51ydy3s0.s94miqqzbg5w.dlg@40tude.net>
 <op.wwny5jerule2fv@cardamome> <1vrhb7oc4qbob$.q02vuouyovp5$.dlg@40tude.net>
 <op.wwn4oak8ule2fv@cardamome> <19lrzzbgm77v6.1dzpgqckptaj6.dlg@40tude.net>
 <kmbohm$elb$1@loke.gir.dk> <p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net>
 <kmebjm$eds$1@loke.gir.dk> <1bp6zlpetr5l4.12a9zcd1x3yya.dlg@40tude.net>
 <kmh5a3$sfb$1@loke.gir.dk> <1jc46ynzptlxm.1fafjhr8hlblq.dlg@40tude.net>
 <kmk278$t5m$1@loke.gir.dk> <bkozr3g5i0hk$.15qnfap6hrj20$.dlg@40tude.net>
 <kms9f4$b2s$1@loke.gir.dk> <1wzphazeho17m$.zy00zh7l7yu5$.dlg@40tude.net>
 <519351e2$0$6584$9b4e6d93@newsspool3.arcor-online.net>
 <13mkdwoq06lce.x0bqnkxt2k5e.dlg@40tude.net>
In-Reply-To: <13mkdwoq06lce.x0bqnkxt2k5e.dlg@40tude.net>
Message-ID: <51939f0e$0$6552$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 May 2013 16:43:26 CEST
NNTP-Posting-Host: ce938add.newsspool4.arcor-online.net
X-Trace: 
 DXC=WkM0T];I:2TI?44J>Z[:RQ4IUK<Cl32<Q4Fo<]lROoRQ8kF<OcfhCO[TUUbab]\[C\nc\616M64>ZLh>_cHTX3j]mZcRlba=hPS
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-05-15T16:43:26+02:00
List-Id: <comp.lang.ada>

On 15.05.13 14:08, Dmitry A. Kazakov wrote:
> On Wed, 15 May 2013 11:14:09 +0200, G.B. wrote:
>
>> Then there is starting point for comparisons, for speaking
>> meaningfully about changes and their effects, etc., because
>> you and your readers see (from the subscript) the objects
>> of comparison, and the objects of change.
>
> The starting point is that there is no such thing as Ada notion of type, or
> C notion of type, for that matter. It would be as silly as "Ada notion of
> grammar" or "Ada notion of number". There is an Ada type system of certain
> properties, Ada grammar, Ada way of using numbers.

Ada does *not* define grammar.
Ada *does* define type.
Ada does *not* define KAVOA types.

Given this lack, it is important to fill in the blanks
(subscripts) with your definition in order be able to
contrast the definitions.

Statements of denial, signifying nothing.