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
X-Received: by 10.68.201.7 with SMTP id jw7mr5518437pbc.8.1396096958993;
        Sat, 29 Mar 2014 05:42:38 -0700 (PDT)
X-Received: by 10.182.117.138 with SMTP id ke10mr6545obb.42.1396096958817;
 Sat, 29 Mar 2014 05:42:38 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!ur14no253053igb.0!news-out.google.com!gi6ni5igc.0!nntp.google.com!ur14no253046igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 29 Mar 2014 05:42:38 -0700 (PDT)
In-Reply-To: <cwl82ayczkme.1o6lfibu49it0$.dlg@40tude.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=96.226.229.244;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 96.226.229.244
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com>
 <lgeh3m$gqq$1@dont-email.me> <lgfsqj$g8i$1@loke.gir.dk>
 <lgopof$unl$1@loke.gir.dk>
 <lgsm50$vbg$1@speranza.aioe.org> <HtpYu.68491$Ls.67166@fx04.iad>
 <lgvduo$id7$1@dont-email.me> <nkRYu.112919$ti6.75704@fx17.iad>
 <lh205f$9ou$1@dont-email.me>
 <330b7d3b-4d12-4482-9ed2-2c82a32a6334@googlegroups.com>
 <cwl82ayczkme.1o6lfibu49it0$.dlg@40tude.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c9e2b173-acf9-420f-9d60-ce767fff5751@googlegroups.com>
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Sat, 29 Mar 2014 12:42:38 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:19035
Date: 2014-03-29T05:42:38-07:00
List-Id: <comp.lang.ada>

On Friday, March 28, 2014 3:40:15 PM UTC-5, Dmitry A. Kazakov wrote:
> On Fri, 28 Mar 2014 12:20:52 -0700 (PDT), Dan'l Miller wrote:
>=20
>=20
>=20
> [...]
>=20
> on Ada's missions.
>=20
>=20
>=20
> More important missions for Ada as a language for software engineers IMO
>=20
> are:
>=20
>=20
>=20
> 1. Portability. Ada has a very good standing here, but lacks support for
>=20
> too many vital platforms. There are serious issues with streams, I/O, Ada
>=20
> directories. Much must be done for networking and GUI.
>=20
>=20
>=20
> 2. Safety on programmer's demand, full integration of SPARK, static check=
s
>=20
> mandated by the programmer, contracts put on exceptions,
>=20
> initialization/finalization fixed, renaming fixed, re-dispatch ditched
>=20
>=20
>=20
> 3. Security (no support at all, so far)
>=20
>=20
>=20
> 4. Reuse, aspects not covered in 1-3, separate compilation support, dynam=
ic
>=20
> linking/loading support, MI, MD, proper interfaces, additive and replacin=
g
>=20
> models of inheritance, interface inheritance.
>=20
>=20
>=20
> 5. Concurrency and distributed computing. Little was done since Ada 95.
>=20
> Concurrent types lack integration with the type system.
>=20
>=20
>=20
> --=20
>=20
> Regards,
>=20
> Dmitry A. Kazakov
>=20
> http://www.dmitry-kazakov.de

No, Dmitry, those are not "more important"; they are merely features that a=
ccomplish some greater mission.  I speak of the greater missions.  For exam=
ple, the portions of your #4 are features that permit programming in the la=
rge, which is needed by my #1, the military-aerospace industry.  The alread=
y-existing of your #5 has always (since Ada1983 and Green) been viewed as e=
ssential to my #1.  The new innovations in your #5 would largely catch Ada2=
02X up to the (perceived-)innovations in C++2011 regarding concurrency; see=
 N2239, N2427, N2748, N2752, N2429, N2664, N2179, N2547, N2659, and N2660 a=
t http://clang.llvm.org/cxx_status.html; the new innovations in your #5 wou=
ld be contained within my #3.