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 2002:a02:3d43:: with SMTP id
 n64-v6mr6638994jan.51.1530314306476;
        Fri, 29 Jun 2018 16:18:26 -0700 (PDT)
X-Received: by 2002:aca:c6ca:: with SMTP id
 w193-v6mr1484313oif.1.1530314306377;
 Fri, 29 Jun 2018 16:18:26 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u78-v6no872111itb.0!news-out.google.com!p13-v6ni1241itf.0!nntp.google.com!d7-v6no885378itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 29 Jun 2018 16:18:26 -0700 (PDT)
In-Reply-To: <ph63dr$1ed$1@franka.jacob-sparre.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.16.86
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>
 <ph63dr$1ed$1@franka.jacob-sparre.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <865f290f-65c1-4699-b8ae-28781428ba34@googlegroups.com>
Subject: Re: Ada Successor Language
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Fri, 29 Jun 2018 23:18:26 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:53465
Date: 2018-06-29T16:18:26-07:00
List-Id: <comp.lang.ada>

On Friday, June 29, 2018 at 2:05:17 PM UTC-6, Randy Brukardt wrote:
> "Shark8" wrote in message=20
> news:776f3645-ed0c-4118-9b4d-21660e3bba4b...
> ...
> >I'd honestly like the ability to use X'Type; this would allow us to say=
=20
> >something like this:
>=20
> Please forget that idea, it would be a terrible can of worms in Ada=20
> semantics (or anything close to Ada sematics). See the write-up of=20
> AI12-0123-1 (long killed) for some details as to why.

But we *are* talking about an Ada successor language; not Ada itself. This =
means a chance to change things out, breaking backwards compatibility, gett=
ing rid of things like anonymous accesses, defining a sensible interface.

So give some ideas that you've had that wouldn't be adopted by the ARG. May=
be some inspiration from some other language. Take macros for instance, mos=
t people don't like them because C/C++ has promulgated the "textual substit=
ution" idea of macros, but LISP and BLISS both have pretty impressive macro=
 facilities.