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: 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!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Augusta: An open source Ada 2012 compiler (someday?) Date: Sat, 29 Mar 2014 14:36:45 +0100 Organization: cbb software GmbH Message-ID: <15qbsbh57xmh2.ient0tsm7e.dlg@40tude.net> References: <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com> <330b7d3b-4d12-4482-9ed2-2c82a32a6334@googlegroups.com> <8044a5a5-2bee-4848-bf89-427f352e5df8@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 Xref: news.eternal-september.org comp.lang.ada:19036 Date: 2014-03-29T14:36:45+01:00 List-Id: On Sat, 29 Mar 2014 05:34:50 -0700 (PDT), Dan'l Miller wrote: > 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. Do you consider language mission in one of its application areas? I don't think that is useful. For one, Ada was always considered a general-purpose language. Then specialized languages do not really work. There is nothing special in military software except for being more over budget than anything else and decision making processes even further removed from reality than usually. Ada-DoD alliance brought little good to Ada. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de