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!aioe.org!.POSTED!not-for-mail
From: Luke A. Guest <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada Successor Language
Date: Wed, 13 Jun 2018 17:20:14 +0100
Organization: Aioe.org NNTP Server
Message-ID: <1690078899.550599503.152766.laguest-archeia.com@nntp.aioe.org>
References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com>
 <878t7u1cfm.fsf@nightsong.com>
 <fnpmtjF19kpU1@mid.individual.net>
 <8a65f8ff-4a75-43f2-884c-6872780f7ea8@googlegroups.com>
 <771e8e35-b71a-499d-a0fe-bb0df1de22ab@googlegroups.com>
 <c65805c1-2b6b-431e-aabf-f9ae64625f2a@googlegroups.com>
 <92741619.550509671.540055.laguest-archeia.com@nntp.aioe.org>
 <f81a426e-25c8-4eb4-b000-883cb9833733@googlegroups.com>
 <340308729.550519101.774267.laguest-archeia.com@nntp.aioe.org>
 <861b589e-8864-42a8-96de-7b69d3deb3ca@googlegroups.com>
NNTP-Posting-Host: zA2q2YD5Ol0uTemMAFV+Uw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: NewsTap/5.3.1 (iPhone/iPod Touch)
Cancel-Lock: sha1:9PKoQk1vyVJRpnHilN6a4C5JSTE=
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:53083
Date: 2018-06-13T17:20:14+01:00
List-Id: <comp.lang.ada>

Dan'l Miller <net> wrote:

likely means an Ada-esque drastic subset.
> 
> My idea of a next-gen Ada goes the opposite direction:  nearly everything
> in Ada8652, except breaking backwards compatibility in some Ichbiah
> oddities that are standing in the way of new modern era features, then
> plus one heck of a lot more.  The problem with Ada8652 is that odd
> baggage is holding Ada back from being a much much bigger language.
> 

An issue is that not all types can be restricted and extended. Seems that
these are features of Ada but not for all types like it should be.