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 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!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Niklas Holsti Newsgroups: comp.lang.ada Subject: Re: Differences between Ada 83 and other revisions Date: Fri, 14 Feb 2014 00:00:00 +0200 Organization: Tidorum Ltd Message-ID: References: <19ac8735-7a9c-429f-a111-a1b3c4b0985b@googlegroups.com> <3872de7d-2df4-4ddb-8348-45eb03b3588e@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: individual.net GsCiiwbxMhiNieq8CJLyxgpRxWoTkAXUiOL6actw880FoObOXS Cancel-Lock: sha1:G+tFH9AYIkZD2iYmz32jJQS5q+4= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 In-Reply-To: <3872de7d-2df4-4ddb-8348-45eb03b3588e@googlegroups.com> Xref: news.eternal-september.org comp.lang.ada:18541 Date: 2014-02-14T00:00:00+02:00 List-Id: On 14-02-13 23:25 , yoursurrogategod@gmail.com wrote: > On Thursday, February 13, 2014 2:44:47 PM UTC-5, Niklas Holsti wrote: >> However, Ada 95 and later Ada standards extend the language beyond Ada >> 83 in many ways. Some extensions include new kinds of run-time checks >> for new kinds of run-time errors, which cannot be detected at compile >> time. Ada 83 had a smaller set of run-time checks and errors, so it can >> be argued that programs using the Ada 95 and later extensions have an >> increased risk of failing at run-time even if their compilation succeeds. >> >> I don't know if this argument is valid; I don't see an increased risk of >> run-time failure in my own programming. But I use the new features >> rather conservatively and sparingly. Moreover, some of the new features >> make it easier to avoid some Ada 83 -level run-time errors -- for >> example, controlled types help to avoid errors in memory allocation and >> deallocation. >> > > So it would be safe to say that the newer versions of Ada have not > enabled the creation of less reliable code. I would say so. You may find other people who disapprove of certain language details (such as allowing "out" and "in out" parameters for functions), due to reliability concerns. > And that the newer versions are overall qualitatively better (hence > them being used in things such as Thaly's Bullet and more than a > few aerospace projects. "Better" is application-specific and perhaps subjective. Certainly the newer Ada standards are more powerful, but you may not be able to, or want to, use all the new powerful features in certain applications. For example, I am currently working in Ada 95, and without the Ada run-time-system, because this is what the customer has defined as the HW/SW platform for the application (satellite SW). -- Niklas Holsti Tidorum Ltd niklas holsti tidorum fi . @ .