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: 103376,81bb2ce65a3240c3 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.205.122.65 with SMTP id gf1mr397350bkc.2.1336635907594; Thu, 10 May 2012 00:45:07 -0700 (PDT) Path: h15ni728bkw.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: What would you like in Ada202X? Date: Thu, 10 May 2012 09:44:27 +0200 Organization: cbb software GmbH Message-ID: <1mg5bq2xbwl1s$.9u2cnv8pb37j$.dlg@40tude.net> References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5> <20780405.1069.1336372385458.JavaMail.geo-discussion-forums@pbkc8> <1drg0pngpz60n$.13rm2wqyteyli$.dlg@40tude.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: 2012-05-10T09:44:27+02:00 List-Id: On Wed, 9 May 2012 19:30:53 -0500, Randy Brukardt wrote: > "Dmitry A. Kazakov" wrote in message > news:1drg0pngpz60n$.13rm2wqyteyli$.dlg@40tude.net... >> >> 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. Of course they are inherited because they are same and treated as being same. In *all* cases where Ada does not do the latter it gets in trouble, e,g. when "+" gets overloaded for the same signature. BTW interface /= implementation. Whatever the compiler generates and how is irrelevant to the question if an interface is inherited. >> 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? You must force classes in one line if only single inheritance allowed. That means precisely that for any two classes they either do not intersect or else one is contained by another. This is an absolutely unrealistic constraint. > 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. I cannot decipher this, sorry. Are "things defined by Ada to be classes" allowed to construct new classes? [So far some of them were] Are new classes classes? [This was also true] Can these user-defined classes be used to create other classes? [Ditto]. What the point? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de