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: Five Years After
Date: Tue, 23 Jan 2018 05:23:19 +0000
Organization: Aioe.org NNTP Server
Message-ID: <288039467.538377555.666858.laguest-archeia.com@nntp.aioe.org>
References: <p3cugr$2k5$1@dont-email.me>
 <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org>
 <fe61c317-de78-4302-97d3-a2e439da2639@googlegroups.com>
NNTP-Posting-Host: uZt99ORmqCorxnAHBvtEDw.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:Q6SV1LvwfnOAAH5QnyNs0TXIz3c=
X-Notice: Filtered by postfilter v. 0.8.2
Xref: reader02.eternal-september.org comp.lang.ada:50066
Date: 2018-01-23T05:23:19+00:00
List-Id: <comp.lang.ada>

Robert Eachus <rieachus@comcast.net> wrote:

>> Maybe it’s time to rethink Ada2?
> 
> It might be, but then again what really needs to be surveyed are:

I thought no it is. Take what is required, strip wha isn’t. There’s a lot
that could change.

> 
> Who is offering SPARK, and how many corporate projects are using it, and which version.

AdaCore.

> Who is supplying Ada compiler support for projects which have "frozen" project 
> language levels at Ada 83/87, Ada 95, Ada 2007, and Ada 2012.

See above considering there’s no other vendor right now who supplies Ada
above 95.


> 
> I could see projects deciding that Ada 95 was too big a change--in spite
> of all the work we did to limit migration issues.  On the other hand Ada
> 2007, and 2012 may have been seen as too small a change to bother with. 
> Also having a validated compiler doesn't seem to matter as much as it did
> in the last century. ;-)

There’s some really nice additions in 2005 and 2012. But I think the
language is getting too large, maybe.

> 
>