From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: grassroots thoughts on access types
Date: Fri, 9 Feb 2018 23:06:06 +0100
Date: 2018-02-09T23:06:06+01:00 [thread overview]
Message-ID: <p5l60c$ol$1@gioia.aioe.org> (raw)
In-Reply-To: p5l4nl$4hm$1@dont-email.me
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
next prev parent reply other threads:[~2018-02-09 22:06 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-09 0:46 grassroots thoughts on access types Mehdi Saada
2018-02-09 1:23 ` Randy Brukardt
2018-02-09 9:13 ` Simon Wright
2018-02-09 11:06 ` Dmitry A. Kazakov
2018-02-09 12:09 ` Mehdi Saada
2018-02-09 12:11 ` Mehdi Saada
2018-02-09 14:23 ` Simon Wright
2018-02-09 16:11 ` Mehdi Saada
2018-02-09 17:01 ` Jeffrey R. Carter
2018-02-09 17:19 ` Dmitry A. Kazakov
2018-02-09 19:12 ` Jeffrey R. Carter
2018-02-09 20:17 ` Robert A Duff
2018-02-09 21:44 ` Jeffrey R. Carter
2018-02-09 22:06 ` Dmitry A. Kazakov [this message]
2018-02-10 0:43 ` Mehdi Saada
2018-02-10 1:51 ` Mehdi Saada
2018-02-10 10:07 ` Jeffrey R. Carter
2018-02-10 11:57 ` Mehdi Saada
2018-02-10 14:02 ` Simon Wright
2018-02-10 15:32 ` Jeffrey R. Carter
2018-02-10 16:46 ` Mehdi Saada
2018-02-10 8:28 ` Dmitry A. Kazakov
2018-02-10 11:55 ` Mehdi Saada
2018-02-10 14:35 ` Dmitry A. Kazakov
2018-02-10 16:51 ` Simon Wright
2018-02-10 17:19 ` Dmitry A. Kazakov
2018-02-10 10:03 ` Jeffrey R. Carter
2018-02-10 10:36 ` Dmitry A. Kazakov
2018-02-10 11:12 ` Jeffrey R. Carter
2018-02-10 14:44 ` Dmitry A. Kazakov
2018-02-10 21:16 ` Robert A Duff
2018-02-11 10:47 ` Jeffrey R. Carter
2018-02-11 21:51 ` Robert A Duff
2018-02-09 20:58 ` Shark8
2018-02-09 20:32 ` G. B.
2018-02-09 20:53 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox