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
X-Received: by 10.66.240.1 with SMTP id vw1mr7688239pac.43.1367835458974;
        Mon, 06 May 2013 03:17:38 -0700 (PDT)
Path: 
 ln4ni1493pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!gegeweb.org!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: Mon, 6 May 2013 12:18:40 +0200
Organization: cbb software GmbH
Message-ID: <u3jaslg5kca7.1gk5ds3d4sx2y$.dlg@40tude.net>
References: <op.wv8jh1c1ule2fv@cardamome> <op.wwbvqzkeule2fv@cardamome>
 <op.wwnp2zkrule2fv@cardamome>
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
X-Received-Bytes: 1369
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2013-05-06T12:18:40+02:00
List-Id: <comp.lang.ada>

On Mon, 06 May 2013 12:00:25 +0200, Yannick Duch�ne (Hibou57) wrote:

> Or else, may be it suggest types should rather be tagged by default

No. All untagged types should have untagged classes.

Indexing is just an interface to inherit from.

Neither Ada 2020 nor Ada 2120 will make it right before fixing the type
system first.

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