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.76.174 with SMTP id l14mr5417910wiw.5.1369279420010;
        Wed, 22 May 2013 20:23:40 -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.83.MISMATCH!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.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 17:02:11 +0200
Organization: cbb software GmbH
Message-ID: <1os4uh1o1l266$.pg0568jbpzh5.dlg@40tude.net>
References: <op.wv8jh1c1ule2fv@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>
 <51939f0e$0$6552$9b4e6d93@newsspool4.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-15T17:02:11+02:00
List-Id: <comp.lang.ada>

On Wed, 15 May 2013 16:43:25 +0200, G.B. wrote:

> Ada *does* define type.

It does not. Ada RM defines [informally] some system of types. Its
instances of are called in the RM "types". In any wider context, e.g.
discussion about desired or not language changes, they should denoted as
"Ada types", or "Ada 83 types" etc.

> Ada does *not* define KAVOA types.

Maybe. I have no idea what KAVOA type is.

Type is a set of values and operations involving these values.

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