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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:6d19:: with SMTP id
 a25-v6mr7969159iod.16.1529483451434;
        Wed, 20 Jun 2018 01:30:51 -0700 (PDT)
X-Received: by 2002:aca:5208:: with SMTP id g8-v6mr893161oib.1.1529483451186;
 Wed, 20 Jun 2018 01:30:51 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!85.12.16.70.MISMATCH!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u78-v6no903095itb.0!news-out.google.com!z3-v6ni1169iti.0!nntp.google.com!d7-v6no883057itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 20 Jun 2018 01:30:50 -0700 (PDT)
In-Reply-To: <6e8368bf-87ea-46d9-98ab-b16a6265bc6b@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=194.39.218.10;
 posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 194.39.218.10
References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com>
 <878t7u1cfm.fsf@nightsong.com>
 <c22391d4-94b6-4ed3-96c0-1e9a84c4a99c@googlegroups.com>
 <b1141508-e692-46f6-b536-4a72081dfb45@googlegroups.com>
 <foqeocF7l4fU1@mid.individual.net>
 <pg949k$jmv$1@dont-email.me> <foqjvhF8kskU1@mid.individual.net>
 <776f3645-ed0c-4118-9b4d-21660e3bba4b@googlegroups.com>
 <pg9bd9$eo9$1@gioia.aioe.org>
 <87602fbu2g.fsf@nightsong.com>
 <6e8368bf-87ea-46d9-98ab-b16a6265bc6b@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1b97c4db-f97e-4543-a384-175a8d8a181e@googlegroups.com>
Subject: Re: Ada Successor Language
From: Marius Amado-Alves <amado.alves@gmail.com>
Injection-Date: Wed, 20 Jun 2018 08:30:51 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3175
X-Received-Body-CRC: 3368266552
Xref: reader02.eternal-september.org comp.lang.ada:53191
Date: 2018-06-20T01:30:50-07:00
List-Id: <comp.lang.ada>

On Tuesday, 19 June 2018 01:10:33 UTC+1, Dan'l Miller  wrote:
> On Monday, June 18, 2018 at 5:36:56 PM UTC-5, Paul Rubin wrote:
> > "Dmitry A. Kazakov" writes:
> > > P.S. Stepanov arguing for generics (templates) claimed that the reaso=
n
> > > why C++ needed this mess was impossibility to write Max using dynamic
> > > polymorphism... I believe it is possible to have a language where
> > > generic Max and Swap could be written without generics.
> >=20
> > I've been wanting to look up how Ada generics work.  C++ generics are
> > implemented with templates which leads to a horrible mess, but generics
> > themselves don't have to be a mess, as far as I know.
> >=20
> > Some comparisons:
> >=20
> > http://citeseerx.ist.psu.edu/viewdoc/download?doi=3D10.1.1.110.122&rep=
=3Drep1&type=3Dpdf
>=20
> It seems that Ada would score rather well in Table 1 on page 4 had it bee=
n included:
>=20
> Ada
>  =E2=97=8F   :   multi-type concepts
>  =E2=97=8F   :   multiple constraints
>  =E2=97=8F   :   associated type access
>  =E2=97=92   :   constraints on associated types
>  =E2=97=8F   :   type aliases
>  =E2=97=8F   :   separate compilation (exemplary Ada compilers)
>  =E2=97=8F   :   implicit argument deduction

That's exactly why Ada was precluded: it would make Haskell look bad. That =
or the ignorance of the authors (Ada83 was the 1st standard language with g=
enerics). Either way this tells me the paper is trash.