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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Musing on defining attributes and the ability to define an "abstract type X"-interface. Date: Tue, 8 Aug 2017 10:10:44 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <9617c73b-e23e-405b-8544-4d17e7e3ad61@googlegroups.com> <28512bf1-0c2c-400f-a24f-cc7e0eb8a02d@googlegroups.com> <87h8y67trd.fsf@jacob-sparre.dk> <36a1a83d-f3d7-4e3c-827d-addeadc28ccc@googlegroups.com> NNTP-Posting-Host: MajGvm9MbNtGBKE7r8NgYA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:47648 Date: 2017-08-08T10:10:44+02:00 List-Id: On 2017-08-08 01:12, Randy Brukardt wrote: > "Shark8" wrote in message > news:36a1a83d-f3d7-4e3c-827d-addeadc28ccc@googlegroups.com... >> !topic Adding an "Abstract Type" to enable simplification of the language >> definition. >> !reference Ada2012 RM??.??(??) >> !from Edward Fish 17-08-05 >> !keywords abstraction, types, simplification >> !discussion > > I doubt anyone wants to do a lot of work just to "simplify the language > definition". It is much more that just definitions. More general concepts do solve problems. You would argue against Maxwell's theory of electromagnetism too. > By years of experience, there is no such thing -- it will just > be a *different* language definition, with a different set of pitfalls. If you don't care about fundamentals and language consistency it will. > Remember that the language is maintained almost exclusively by volunteers - > people are not signing up to make changes for the sake of changes. Even more important to concentrate resources on real problems rather than piling up kludges upon kludges. It was possible for Ada 95, it should be possible now. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de