From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
Date: Sat, 29 Mar 2014 05:34:50 -0700 (PDT)
Date: 2014-03-29T05:34:50-07:00 [thread overview]
Message-ID: <8044a5a5-2bee-4848-bf89-427f352e5df8@googlegroups.com> (raw)
In-Reply-To: <cwl82ayczkme.1o6lfibu49it0$.dlg@40tude.net>
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.
>
> 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.
No, Dmitry, those are not "more important"; they are merely features that accomplish some greater mission. I speak of the greater missions. For example, the already-existing portions of your #4 are features that permit programming in the large, which is needed by my #1, the military-aerospace industry. Your #5 has always (since Ada1983 and Green) been viewed as essential 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 be my #3.
next prev parent reply other threads:[~2014-03-29 12:34 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-03-19 13:24 Augusta: An open source Ada 2012 compiler (someday?) Peter Chapin
2014-03-19 18:56 ` Tero Koskinen
2014-03-19 23:02 ` Peter Chapin
2014-03-20 18:13 ` Shark8
2014-03-20 22:41 ` Augusta: An open source Ada 2012 compiler (someday?) (Off topic) erlo
2014-03-20 23:21 ` Randy Brukardt
2014-03-19 23:04 ` Augusta: An open source Ada 2012 compiler (someday?) Brian Drummond
2014-03-19 23:24 ` Peter Chapin
2014-03-20 0:00 ` Brian Drummond
2014-03-20 18:35 ` Shark8
2014-03-22 14:30 ` Brian Drummond
2014-03-20 10:23 ` Lucretia
2014-03-20 10:49 ` J-P. Rosen
2014-03-20 23:15 ` Randy Brukardt
2014-03-24 8:18 ` J Kimball
2014-03-24 9:17 ` Thomas Løcke
2014-03-24 10:00 ` Brian Drummond
2014-03-24 14:16 ` Luke A. Guest
2014-03-24 12:51 ` Peter Chapin
2014-03-24 21:21 ` Randy Brukardt
2014-03-24 23:18 ` Dennis Lee Bieber
2014-03-24 23:50 ` J Kimball
2014-03-25 9:37 ` Stefan.Lucks
2014-03-25 20:47 ` Randy Brukardt
2014-03-25 19:41 ` Michael B.
2014-03-26 1:50 ` Shark8
2014-03-26 20:39 ` Simon Clubley
2014-03-27 9:32 ` Shark8
2014-03-27 20:02 ` Simon Clubley
2014-03-27 20:38 ` Lucretia
2014-03-27 21:51 ` Niklas Holsti
2014-03-27 22:32 ` Luke A. Guest
2014-03-28 5:12 ` Shark8
2014-03-28 5:11 ` J Kimball
2014-03-28 8:06 ` Georg Bauhaus
2014-03-28 11:31 ` Peter C. Chapin
2014-03-31 23:43 ` Randy Brukardt
2014-03-28 8:56 ` Dmitry A. Kazakov
2014-03-28 19:20 ` Dan'l Miller
2014-03-28 20:40 ` Dmitry A. Kazakov
2014-03-29 12:34 ` Dan'l Miller [this message]
2014-03-29 13:36 ` Dmitry A. Kazakov
2014-03-29 12:42 ` Dan'l Miller
2014-03-29 0:15 ` Peter Chapin
2014-03-29 3:39 ` Shark8
2014-03-29 8:46 ` Georg Bauhaus
2014-03-29 16:35 ` Peter Chapin
2014-03-29 9:51 ` Georg Bauhaus
2014-03-20 19:03 ` Shark8
2014-03-20 18:10 ` Shark8
2014-03-20 18:20 ` Qun-Ying
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox