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: grassroots thoughts on access types Date: Fri, 9 Feb 2018 23:06:06 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <5d9134c9-a7d4-468e-8685-ebbb393eabea@googlegroups.com> NNTP-Posting-Host: 9s2HXjYgtb87Rt4JbNw44Q.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.6.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:50351 Date: 2018-02-09T23:06:06+01:00 List-Id: On 2018-02-09 22:44, Jeffrey R. Carter wrote: > On 02/09/2018 09:17 PM, Robert A Duff wrote: >> >> So you won't use things like "A(X) := A(X) + 1;", >> where A is a Vector? >> >> Or "for X of A loop..."? > > The language would be better if it didn't have anonymous access types. > It follows that it would be better if it didn't have features that rely > on anonymous access types. It does not follow. Usefulness of X is unrelated to whether X rely on Y. Having said that, nether iteration interface nor indexing interface should rely on access types, anonymous or not. It is a language design flaw that they do. Nevertheless both interfaces are clearly useful and desirable. Anonymous access type is an ugly hack to work around real language problems. It should have never been introduced. The problems should have been properly addressed instead. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de