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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Five Years After
Date: Wed, 24 Jan 2018 18:55:21 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <p4aha9$cfg$1@dont-email.me>
References: <p3cugr$2k5$1@dont-email.me>
 <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org>
 <fe61c317-de78-4302-97d3-a2e439da2639@googlegroups.com>
 <288039467.538377555.666858.laguest-archeia.com@nntp.aioe.org>
 <p4a2uq$1nk$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 24 Jan 2018 17:55:21 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="8a90aea999884071f7d098ac5213262c";
	logging-data="12784"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19eBbqMcGKQl9xEwQ1AcPvMFAvZP6qLdbY="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.5.0
In-Reply-To: <p4a2uq$1nk$1@dont-email.me>
Content-Language: en-US
Cancel-Lock: sha1:DaT2V6dTGit3tirDj8Hc6tWAIVc=
Xref: reader02.eternal-september.org comp.lang.ada:50111
Date: 2018-01-24T18:55:21+01:00
List-Id: <comp.lang.ada>

On 01/24/2018 02:50 PM, Simon Clubley wrote:
> 
> Going the other way, a subset of Ada might be useful as well.

We shouldn't call it Ada, though. Maybe Stainless (better than Rust).

> There's serious potential for a good small language that could serve
> as an easily implemented C language replacement. It's possible that
> a subset of Ada with just the core features implemented and hence
> without vast amounts of required runtime library support could
> serve that purpose.

Ada 83
+ User-defined finalization for record types
+ Support for passive tasks
+ Support for integers with unsigned representations
+ A decent standard library

would be good. Nice to have would include

+ Relaxed declaration order
+ Object.Operation syntax for record types
+ Hierarchical namespace

and probably some other things not springing to mind ATM.

Going the other way,

Ada 95
- Tagged types
- Anonymous access types
+ User-defined finalization for record types
+ Object.Operation syntax for record types
+ A decent standard library

would be about equivalent.

-- 
Jeff Carter
"You couldn't catch clap in a brothel, silly English K...niggets."
Monty Python & the Holy Grail
19