Re: Augusta: An open source Ada 2012 compiler (someday?)

["Dan'l Miller" <optikos@verizon.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:
> 
> 
> 
> [...]
> 
> 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

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 portions of your #4 are features that permit programming in the large, which is needed by my #1, the military-aerospace industry.  The already-existing of your #5 has always (since Ada1983 and Green) been viewed as essential to my #1.  The new innovations in your #5 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 #5 would be contained within my #3.