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,81bb2ce65a3240c3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.156.199 with SMTP id y7mr266828bkw.7.1336609863145;
        Wed, 09 May 2012 17:31:03 -0700 (PDT)
MIME-Version: 1.0
Path: 
 h15ni4678bkw.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!news.tornevall.net!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: What would you like in Ada202X?
Date: Wed, 9 May 2012 19:30:53 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jof284$1ae$1@munin.nbi.dk>
References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5>
 <a0nvb0Fem2U1@mid.individual.net>
 <20780405.1069.1336372385458.JavaMail.geo-discussion-forums@pbkc8>
 <a0r0vkFb94U1@mid.individual.net> <jo9qg9$qub$1@munin.nbi.dk>
 <a0rsroFp8lU1@mid.individual.net> <joc6as$ab0$1@munin.nbi.dk>
 <1drg0pngpz60n$.13rm2wqyteyli$.dlg@40tude.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1336609860 1358 69.95.181.76 (10 May 2012 00:31:00 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 10 May 2012 00:31:00 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-05-09T19:30:53-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1drg0pngpz60n$.13rm2wqyteyli$.dlg@40tude.net...
> On Tue, 8 May 2012 17:22:16 -0500, Randy Brukardt wrote:
>
>> For example:
>>               Put (X : in Root_Integer'Class);
>> is much more useable than a generic that you have to instantiation for 
>> each
>> kind of type. (Some operations really do cross-cut types.)
>
> (That's for sure, generics must be wiped out)

I'm not interested in "wiping out" generics (that will never happen to Ada 
for the obvious compatibility reasons), just getting decent ease-of-use

> But how would you have Root_Integer'Class without multiple inheritance?

Not sure what "inheritance" has to do with it, multiple or not. Most of 
these things have properties which are generated anew for each type -- and 
the fact that these are *not* inherited is very important to making them 
work properly.

> What about Root_Discrete'Class, Root_Scalar'Class, Root_Numeric'Class and
> dozens other classes it belongs to? You cannot order interfaces like these
> in one string.

Who's trying to order anything? I'm only trying to get at the classes 
already existing in Ada. And all of the above could be handled with normal 
derivation (these *classes* exist in Ada). There would be a problem if you 
wanted to gather arbitrary sets of properities together (things not defined 
by Ada to be classes), but that's not a sensible thing to do, especially in 
the existing Ada language framework.

                           Randy.