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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
Date: Fri, 28 Mar 2014 21:40:15 +0100
Organization: cbb software GmbH
Message-ID: <cwl82ayczkme.1o6lfibu49it0$.dlg@40tude.net>
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>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: KX5nm0jf7du4gHjHR6mb/g.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 2186
Xref: number.nntp.dca.giganews.com comp.lang.ada:185398
Date: 2014-03-28T21:40:15+01:00
List-Id: <comp.lang.ada>

On Fri, 28 Mar 2014 12:20:52 -0700 (PDT), Dan'l Miller wrote:

[...]
on Ada's missions.

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.

2. Safety on programmer's demand, full integration of SPARK, static checks
mandated by the programmer, contracts put on exceptions,
initialization/finalization fixed, renaming fixed, re-dispatch ditched

3. Security (no support at all, so far)

4. Reuse, aspects not covered in 1-3, separate compilation support, dynamic
linking/loading support, MI, MD, proper interfaces, additive and replacing
models of inheritance, interface inheritance.

5. Concurrency and distributed computing. Little was done since Ada 95.
Concurrent types lack integration with the type system.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de