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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.175.77 with SMTP id y74mr911217ioe.31.1516682117533; Mon, 22 Jan 2018 20:35:17 -0800 (PST) X-Received: by 10.157.90.130 with SMTP id w2mr437774oth.14.1516682117428; Mon, 22 Jan 2018 20:35:17 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w142no2204537ita.0!news-out.google.com!s63ni2989itb.0!nntp.google.com!w142no2204536ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 22 Jan 2018 20:35:17 -0800 (PST) In-Reply-To: <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2601:191:8303:2100:ac96:8bad:a9f7:3ee6; posting-account=fdRd8woAAADTIlxCu9FgvDrUK4wPzvy3 NNTP-Posting-Host: 2601:191:8303:2100:ac96:8bad:a9f7:3ee6 References: <942235344.537649945.074508.laguest-archeia.com@nntp.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Five Years After From: Robert Eachus Injection-Date: Tue, 23 Jan 2018 04:35:17 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 3164163049 X-Received-Bytes: 2190 Xref: reader02.eternal-september.org comp.lang.ada:50065 Date: 2018-01-22T20:35:17-08:00 List-Id: On Sunday, January 14, 2018 at 2:13:12 PM UTC-5, Luke A. Guest wrote: > Jeffrey R. Carter wrote:=20 > Maybe it=E2=80=99s 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 wh= ich version. Who is supplying Ada compiler support for projects which have "frozen" proj= ect=20 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 h= aving a validated compiler doesn't seem to matter as much as it did in the = last century. ;-)