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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: class wide iterable (and indexable) Date: Sun, 6 Jan 2019 13:45:05 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <2a6929c5-72fa-4d84-953a-44ea4597ab38@googlegroups.com> <9e6b4219-d6ba-4c89-814d-5ea6e48ed8ea@googlegroups.com> <9179093f-4765-47a9-9dc6-147c9d7d6c56@googlegroups.com> <809a445d-cf73-4525-a732-67dbf24e8394@googlegroups.com> NNTP-Posting-Host: i065DRYuysvTI4qVnaNkyg.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:60.0) Gecko/20100101 Thunderbird/60.4.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader01.eternal-september.org comp.lang.ada:55218 Date: 2019-01-06T13:45:05+01:00 List-Id: On 2019-01-06 12:30, George Shapovalov wrote: > On Sunday, January 6, 2019 at 11:19:17 AM UTC+1, Dmitry A. Kazakov wrote: >> It was and is fiercely opposed all the time! > But you and many others agree that its a good idea. But there are also ones who don't even accept the notion of a set of types, programming in terms of, still clutching to bare procedural decomposition. I am happy we have got Ada 95. But maybe all the mess introduced in Ada 2005, 2012 and yet to come with 202X is the backlash for that short period of luck... > There is that expression, that old theories do not get overturned, rather they die out with their hosts (I think it was first said in Physics, circa 1920-30s, during that Quantum discussion period, but I am now across so many disciplines, I cannot be sure). So, if we just outlive them.. :) Yep, Max Planck: "A new scientific truth does not triumph by convincing its opponents and making them see the light, but rather because its opponents eventually die, and a new generation grows up that is familiar with it." >> (I have a conspiracy theory. All is because the keyword "interface" will >> not need to be reserved anymore! (:-)) > How so? Tagged types allow this, and both "type" and "tagged" are reserved words. Yes. Interface is an abstract tagged type, nothing more except for a silly constraint not to provide anything functional. > Besides, if that would be a corner issue, the opposition could be placated by proposing to keep it reserved by some mandate :). That is my hope. (:-)) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de