Re: Five Years After

[Luke A. Guest <laguest@archeia.com>]

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.

> 
>