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:455c:: with SMTP id y89-v6mr7319352ita.0.1527995175497; Sat, 02 Jun 2018 20:06:15 -0700 (PDT) X-Received: by 2002:a9d:6183:: with SMTP id g3-v6mr277754otk.3.1527995175417; Sat, 02 Jun 2018 20:06:15 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!2.eu.feeder.erje.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no3764587itb.0!news-out.google.com!b185-v6ni4039itb.0!nntp.google.com!v8-v6no3750828itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 2 Jun 2018 20:06:15 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <795d1d54-0868-4745-8132-b38165494f39@googlegroups.com> <9fa93d0f-30d2-4c79-b0ef-f94d96862da2@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <054ee883-d212-4942-87bc-35836dd58e22@googlegroups.com> Subject: Re: Using interfaces From: "Dan'l Miller" Injection-Date: Sun, 03 Jun 2018 03:06:15 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:52866 Date: 2018-06-02T20:06:15-07:00 List-Id: On Saturday, June 2, 2018 at 9:11:50 PM UTC-5, Shark8 wrote: > On Saturday, June 2, 2018 at 12:43:34 PM UTC-6, Dan'l Miller wrote: > >=20 > > For example, in many modern programming languages, Ada included, there = is a natural tension between the OO feature-set and the generic/parameteriz= ed-types feature-set as 2 nearly duplicated ways of accomplishing analogous= goals. >=20 > No. > OOP and Generics are orthogonal in their goals: https://www.youtube.com/= watch?v=3D9lv2lBq6x4A Orthogonal. Hence the lambda cube's 90=C2=B0 angles in the corners. ;-P https://en.wikipedia.org/wiki/Lambda_cube the orthogonal axes in the coordinate system run-time =E2=80=A2polymorphism=E2=80=A2: values depending on types =CE=BB2 compile-time =E2=80=A2polymorphism=E2=80=A2 (a.k.a. parametric =E2=80=A2pol= ymorphism=E2=80=A2) in generics: types depending on types =CE=BB=CF=89_ multistage programming (source-code generators): types depending on values= =20 =CE=BB=CE=A0 permitting the pairwise and threesome combination thereof for a semantic ve= ctor system of expressivity in next-gen programming languages > The amount of time/energy spent "fixing C" (and C++) is truly astounding. > I wonder how well-off Ada would be if even 1/10th of that energy had been= put into addressing Ada's > weaknesses, like (eg) few libraries, not as many tools, etc. It is truly is sad.