From: Keith Thompson <kst-u@mib.org>
Subject: Re: Latest suggestion for 202x
Date: Fri, 21 Jun 2019 11:12:58 -0700
Date: 2019-06-21T11:12:58-07:00 [thread overview]
Message-ID: <lnd0j6kdsl.fsf@kst-u.example.com> (raw)
In-Reply-To: qei8ps$nec$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On 2019-06-21 00:21, Randy Brukardt wrote:
>> "Keith Thompson" <kst-u@mib.org> wrote in message
>> news:lnef3rnb8d.fsf@kst-u.example.com...
>> ...
>>> I'm not at all persuaded by the argument that array indexing is
>>> interchangeable with function calls.
>>>
>>> A(I) = 42;
>>
>> If A is a container, A(I) *is* a function call. QED. :-)
>
> It is many function calls actually. I wish it were just one:
>
> Array_Type'Component_Setter (A, I, 42)
>
> I think Keith probably meant something else, since it is self-evident
> that array indexing is decomposable into calls to properly typed
> subprograms (differently to, say, object construction).
Of course the argument about interchangeability of array indexing and
function calling goes back before containers existed in Ada.
In my example, if A is an array variable and I've written
A(I) = 42;
I *can't* replace A by a function without modifying the code that uses
it. Array indexing can appear on the LHS of an assignment; a function
call cannot (or at least could not until recently).
I suppose containers weaken that argument -- but if Ada had used [] for
array indexing from the beginning, then presumably containers would have
used that same syntax.
(And again, I'm not suggesting a change to the language.)
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */
next prev parent reply other threads:[~2019-06-21 18:12 UTC|newest]
Thread overview: 60+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-15 23:59 Latest suggestion for 202x Micah Waddoups
2019-06-16 5:14 ` Jerry
2019-06-16 7:17 ` Dmitry A. Kazakov
2019-06-16 10:22 ` Egil H H
2019-06-16 16:54 ` Maciej Sobczak
2019-06-16 20:09 ` Dmitry A. Kazakov
2019-06-17 6:54 ` Egil H H
2019-06-17 7:42 ` J-P. Rosen
2019-06-17 12:01 ` Mart van de Wege
2019-06-17 13:35 ` Maciej Sobczak
2019-06-17 15:20 ` Dmitry A. Kazakov
2019-06-17 15:32 ` Paul Rubin
2019-06-17 16:43 ` Dmitry A. Kazakov
2019-06-17 21:38 ` Keith Thompson
2019-06-18 15:48 ` Jeffrey R. Carter
2019-06-20 22:21 ` Randy Brukardt
2019-06-21 9:42 ` Dmitry A. Kazakov
2019-06-21 18:12 ` Keith Thompson [this message]
2019-06-21 18:43 ` Dmitry A. Kazakov
2019-06-21 20:24 ` Keith Thompson
2019-06-22 6:54 ` Dmitry A. Kazakov
2019-06-22 8:43 ` Randy Brukardt
2019-06-22 9:00 ` Dmitry A. Kazakov
2019-06-22 17:44 ` Keith Thompson
2019-06-22 18:34 ` Bill Findlay
2019-06-22 18:37 ` Dmitry A. Kazakov
2019-06-23 7:38 ` G.B.
2019-06-23 8:29 ` Dmitry A. Kazakov
2019-06-23 18:34 ` Optikos
2019-06-23 19:20 ` Dennis Lee Bieber
2019-06-22 20:48 ` Optikos
2019-06-22 20:53 ` Optikos
2019-06-23 17:42 ` Dennis Lee Bieber
2019-06-24 5:07 ` J-P. Rosen
2019-06-24 5:40 ` Paul Rubin
2019-06-24 7:16 ` Niklas Holsti
2019-06-26 18:00 ` Stephen Leake
2019-06-24 13:07 ` J-P. Rosen
2019-06-24 11:12 ` Stefan.Lucks
2019-06-24 12:06 ` Niklas Holsti
2019-06-24 20:22 ` Randy Brukardt
2019-06-24 20:32 ` Keith Thompson
2019-06-24 20:47 ` Jeffrey R. Carter
2019-06-24 13:10 ` J-P. Rosen
2019-06-22 8:36 ` Randy Brukardt
2019-06-22 17:39 ` Keith Thompson
2019-06-16 19:34 ` Optikos
2019-06-16 20:10 ` John Perry
2019-06-16 20:57 ` Optikos
2019-06-16 21:36 ` Dmitry A. Kazakov
2019-06-17 16:48 ` G. B.
2019-06-17 17:12 ` Paul Rubin
2019-06-16 21:41 ` Lucretia
2019-06-19 2:36 ` Micah Waddoups
2019-06-19 11:14 ` Lucretia
2019-06-19 11:45 ` briot.emmanuel
2019-06-19 14:34 ` Optikos
2019-06-19 19:29 ` Lucretia
2019-06-19 16:12 ` G. B.
2019-06-23 20:17 ` Per Sandberg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox