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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada Successor Language
Date: Tue, 3 Jul 2018 16:39:16 -0500
Organization: JSA Research & Innovation
Message-ID: <phgqe4$ha1$1@franka.jacob-sparre.dk>
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>
 <865f290f-65c1-4699-b8ae-28781428ba34@googlegroups.com>
Injection-Date: Tue, 3 Jul 2018 21:39:17 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="17729"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:53552
Date: 2018-07-03T16:39:16-05:00
List-Id: <comp.lang.ada>

"Shark8" <onewingedshark@gmail.com> wrote in message 
news:865f290f-65c1-4699-b8ae-28781428ba34@googlegroups.com...
On Friday, June 29, 2018 at 2:05:17 PM UTC-6, Randy Brukardt wrote:
> "Shark8" wrote in message
> news:776f3645-ed0c-4118-9b4d-21660e3bba4b...
> ...
>> >I'd honestly like the ability to use X'Type; this would allow us to say
>> >something like this:
>>
>> Please forget that idea, it would be a terrible can of worms in Ada
>> semantics (or anything close to Ada sematics). See the write-up of
>> 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, getting rid of things like anonymous accesses, defining a
>sensible interface.

I don't think it would work in any language with semantics reasonably close 
to Ada's type model. If you're blowing away Ada's type model, then it is no 
longer an Ada successor language, but just a new language.

                                         Randy.