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.182.186.105 with SMTP id fj9mr5560557obc.5.1396096491139;
 Sat, 29 Mar 2014 05:34:51 -0700 (PDT)
X-Received: by 10.182.158.167 with SMTP id wv7mr140956obb.29.1396096490975;
 Sat, 29 Mar 2014 05:34:50 -0700 (PDT)
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!ur14no250639igb.0!news-out.google.com!gi6ni5igc.0!nntp.google.com!ur14no250634igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 29 Mar 2014 05:34:50 -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: <8044a5a5-2bee-4848-bf89-427f352e5df8@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:34:51 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Original-Bytes: 3380
Xref: number.nntp.dca.giganews.com comp.lang.ada:185406
Date: 2014-03-29T05:34:50-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:
> More important missions for Ada as a language for software engineers IMO
> are:
>
> 1. Portability. Ada has a very good standing here, but lacks support for
> too many vital platforms. There are serious issues with streams, I/O, Ada
> directories. Much must be done for networking and GUI.
>=20
> 2. Safety on programmer's demand, full integration of SPARK, static check=
s
> mandated by the programmer, contracts put on exceptions,
> initialization/finalization fixed, renaming fixed, re-dispatch ditched
>=20
> 3. Security (no support at all, so far)
>=20
> 4. Reuse, aspects not covered in 1-3, separate compilation support, dynam=
ic
> linking/loading support, MI, MD, proper interfaces, additive and replacin=
g
> models of inheritance, interface inheritance.
>=20
> 5. Concurrency and distributed computing. Little was done since Ada 95.
> Concurrent types lack integration with the type system.

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 already-existing portions of your #4 are features that permit prog=
ramming in the large, which is needed by my #1, the military-aerospace indu=
stry.  Your #5 has always (since Ada1983 and Green) been viewed as essentia=
l to my #1.  The new innovations in your #4 would largely catch Ada202X up =
to the (perceived-)innovations in C++2011 regarding concurrency; see N2239,=
 N2427, N2748, N2752, N2429, N2664, N2179, N2547, N2659, and N2660 at http:=
//clang.llvm.org/cxx_status.html; the new innovations in your #4 would be b=
e my #3.