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=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:9458:: with SMTP id j85-v6mr5138092ite.18.1532793944623; Sat, 28 Jul 2018 09:05:44 -0700 (PDT) X-Received: by 2002:aca:4787:: with SMTP id u129-v6mr209081oia.4.1532793944423; Sat, 28 Jul 2018 09:05:44 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!d7-v6no2858092itj.0!news-out.google.com!k71-v6ni3213itk.0!nntp.google.com!g2-v6no2879107itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 28 Jul 2018 09:05:44 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.195.62; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.195.62 References: <72ccb7fa-a9cb-42e6-8c29-3c06da281a45@googlegroups.com> <2212eb54-cb4a-446f-9cdf-287ef220e2c2@googlegroups.com> <1b5a58b2-65b7-4df8-80b5-03e208d249e1@googlegroups.com> <99a9127d-1024-4690-aa1d-8b3026a0f57d@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada Distilled by Richard Riehle From: "Dan'l Miller" Injection-Date: Sat, 28 Jul 2018 16:05:44 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:54002 Date: 2018-07-28T09:05:44-07:00 List-Id: On Saturday, July 28, 2018 at 10:41:53 AM UTC-5, Dmitry A. Kazakov wrote: > On 2018-07-28 17:01, Dan'l Miller wrote: > > Btw, because T2 is an extended tagged T1 and because S2 is an extended = tagged S1, I think an alternate syntax would be expressive and useful for t= his special case as well instead of the explicitly-itemized same-named vari= ants above. Note however that (just like in PL/I GENERIC) union can confed= erate any types, not merely tagged types and not merely tagged-type extensi= ons in a 'Class tree. > >=20 > > type UT is union (T1'Class); -- a blend of Algol68 UNION and A= da95 'Class > > type US is union (S1'Class); -- a blend of Algol68 UNION and A= da95 'Class >=20 > That does not make sense because T1'Class is a singular type. For the=20 > set of types rooted in T1 there is no name in Ada, since it does not=20 > have types of types. Well, Dmitry, you had better get busy correcting all the factually-incorrec= t Ada reference material out there an planet Earth, letting them know the e= rror of their ways. Here are some places to start your correction campaign= of lots of emails to write and lots of telephone calls to make: https://en.wikibooks.org/wiki/Ada_Programming/Object_Orientation#Terminolog= y =E2=80=9CClass (of types) [plural] : a tree [!] of classes, rooted by a bas= e class and including all the (recursively-)derived classes of that base cl= ass=E2=80=9D http://adapower.com/index.php?Command=3DClass&ClassID=3DFAQ&CID=3D352 =E2=80=9Cclass is a set [!] of types [plural!] with similar values and oper= ations; in particular, =E2=80=A2=E2=80=A2a type and and all [!] of its deri= vatives [!], direct and indirect=E2=80=A2=E2=80=A2, represents a (derivatio= n) class.=E2=80=9D