From: Robert Eachus <rieachus@comcast.net>
Subject: Re: Five Years After
Date: Mon, 22 Jan 2018 20:35:17 -0800 (PST)
Date: 2018-01-22T20:35:17-08:00 [thread overview]
Message-ID: <fe61c317-de78-4302-97d3-a2e439da2639@googlegroups.com> (raw)
In-Reply-To: <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org>
On Sunday, January 14, 2018 at 2:13:12 PM UTC-5, Luke A. Guest wrote:
> Jeffrey R. Carter <spam.jrcarter.not@spam.not.acm.org> wrote:
> Maybe it’s time to rethink Ada2?
It might be, but then again what really needs to be surveyed are:
Who is offering SPARK, and how many corporate projects are using it, and which version.
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.
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. ;-)
next prev parent reply other threads:[~2018-01-23 4:35 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-13 12:36 Five Years After Jeffrey R. Carter
2018-01-13 16:45 ` Jacob Sparre Andersen
2018-01-13 17:22 ` gautier_niouzes
2018-01-13 19:45 ` Nasser M. Abbasi
2018-01-13 21:15 ` Jeffrey R. Carter
2018-01-14 19:13 ` Luke A. Guest
2018-01-23 4:35 ` Robert Eachus [this message]
2018-01-23 5:23 ` Luke A. Guest
2018-01-23 6:26 ` bozovic.bojan
2018-01-24 13:16 ` Nasser M. Abbasi
2018-01-24 13:39 ` Dmitry A. Kazakov
2018-01-25 2:44 ` Randy Brukardt
2018-01-24 13:50 ` Simon Clubley
2018-01-24 13:55 ` Björn Lundin
2018-01-24 19:07 ` Simon Clubley
2018-01-24 15:12 ` Mehdi Saada
2018-01-24 16:04 ` Shark8
2018-01-24 19:06 ` Simon Clubley
2018-01-24 20:34 ` Lucretia
2018-01-25 0:29 ` Simon Clubley
2018-01-25 20:14 ` Lucretia
2018-01-26 21:25 ` Shark8
2018-01-27 0:07 ` Dennis Lee Bieber
2018-01-27 1:52 ` Nasser M. Abbasi
2018-01-25 0:43 ` Robert Eachus
2018-01-25 2:51 ` Randy Brukardt
2018-01-24 16:05 ` Dennis Lee Bieber
2018-01-24 17:07 ` Robert Eachus
2018-01-24 18:43 ` Dennis Lee Bieber
2018-01-24 17:55 ` Jeffrey R. Carter
2018-01-24 18:44 ` Dennis Lee Bieber
2018-01-24 20:17 ` Lucretia
2018-01-25 0:14 ` Simon Clubley
2018-01-23 21:57 ` Maciej Sobczak
2018-01-24 18:14 ` G. B.
2018-01-25 3:09 ` Randy Brukardt
2018-01-25 21:09 ` Maciej Sobczak
2018-01-25 23:07 ` Robert Eachus
2018-01-26 4:28 ` Randy Brukardt
2018-01-24 20:41 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox