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: a07f3367d7,39579ad87542da0e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.11.239 with SMTP id t15mr5470062wib.3.1369279403391;
        Wed, 22 May 2013 20:23:23 -0700 (PDT)
Path: 
 fw11ni1136wic.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.103.MISMATCH!feeder3.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.139.MISMATCH!xlned.com!feeder7.xlned.com!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Seeking for papers about tagged types vs access to subprograms
Date: Wed, 15 May 2013 14:08:59 +0200
Organization: cbb software GmbH
Message-ID: <13mkdwoq06lce.x0bqnkxt2k5e.dlg@40tude.net>
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>
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: 2013-05-15T14:08:59+02:00
List-Id: <comp.lang.ada>

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.

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