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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: How to get Ada to ?cross the chasm?? Date: Thu, 19 Apr 2018 16:57:42 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com> <06a8980d-21bb-4067-b22d-7d1f89342948@googlegroups.com> <19c7a205-0a82-477b-9254-01af786f467e@googlegroups.com> <06adad02-803a-4dc7-b5d8-f9a5d8faa3ab@googlegroups.com> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:51633 Date: 2018-04-19T16:57:42+02:00 List-Id: On 19/04/2018 16:28, Shark8 wrote: > On Wednesday, April 18, 2018 at 10:01:31 PM UTC-6, Dan'l Miller wrote: >> >> But any Ada compilers that “support” Microsoft OSes out of the box are stuck in the Win32 era not much different than as shown in that cruel Ada spec above. > > What's truly sad is that many APIs would do a *lot* better as Ada than as C or C++, simply because of the addition of aspects and pre/post-conditions. Not really, usually API cannot trust them anyway. Dynamic constraints enforced by the OS via supervisor calls rather than embedded in the caller's code might very useful. Unfortunately Ada does not have these either. What is indeed a lot better in Ada is an ability to return an indefinite string. Another important thing is default values. Third is protected interfaces regardless their severe limitations. API that supports timed entry calls is a lot simpler to use. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de