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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.13.203.142 with SMTP id n136mr2830468ywd.28.1437575393319; Wed, 22 Jul 2015 07:29:53 -0700 (PDT) X-Received: by 10.140.109.132 with SMTP id l4mr59836qgf.15.1437575393302; Wed, 22 Jul 2015 07:29:53 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!z61no2620115qge.0!news-out.google.com!b31ni345qge.0!nntp.google.com!69no1256908qgl.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 22 Jul 2015 07:29:53 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=185.30.132.97; posting-account=hya6vwoAAADTA0O27Aq3u6Su3lQKpSMz NNTP-Posting-Host: 185.30.132.97 References: <877fq9uj6g.fsf@theworld.com> <65061686-5c8f-433b-9b11-9e228298158e@googlegroups.com> <87k2u96jms.fsf@jester.gateway.sonic.net> <06f8a6f9-d219-4d40-b9ac-8518e93839bd@googlegroups.com> <87y4io63jy.fsf@jester.gateway.sonic.net> <7a29d3e9-d1bd-4f4a-b1a6-14d3e1a83a4d@googlegroups.com> <87mvz36fen.fsf@jester.gateway.sonic.net> <2215b44f-8a89-47c6-a4c4-52b74d2dac45@googlegroups.com> <9e492c82-868d-43d3-a18a-38274400e337@googlegroups.com> <40184feb-4053-4ac3-8eaa-c3bd9cd8a77c@googlegroups.com> <10272577-945f-4682-85bc-8ad47f3653ae@googlegroups.com> <87si8i81k2.fsf@atmarama.net> <80b4b143-b56d-471a-be4d-1042d9e2e07b@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <51bbd09a-8455-46c4-b00a-15366173a1a9@googlegroups.com> Subject: Re: If not Ada, what else... From: Vincent Injection-Date: Wed, 22 Jul 2015 14:29:53 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:26987 Date: 2015-07-22T07:29:53-07:00 List-Id: Le mercredi 22 juillet 2015 15:40:08 UTC+2, J-P. Rosen a =E9crit=A0: > You may want to define operations (that are not methods) for a specific= =20 > type, or for the class-wide type rooted at the specific type. > I don't think you can avoit the 'Class, which basically > brings us to the current solution (where you write "package ... is" > instead of "class ... is") It simply takes the opposite view : instead of having a tagged type in Ada and the need to add the 'Class to speak of the whole class derived from it, you have the class type that represents any member of the class (as T'Class= ) and you need to have something like CT'Root_Type. Regards, Vincent > --=20 > J-P. Rosen > Adalog > 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX > Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 > http://www.adalog.fr