From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada syntax questions
Date: Tue, 22 Dec 2020 19:23:51 -0600 [thread overview]
Message-ID: <rru678$70p$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: rrs92d$1pfi$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:rrs92d$1pfi$1@gioia.aioe.org...
...
>But you cannot rid of X(...) syntax, where X is an object.
That's a prefixed view, of course. No one would want to get rid of that.
>It is not only indexing, e.g. in declarations:
> X : T (Y);
That's not an expression and is not resolved (that is, there is no possible
overloading).
...
> Then what is wrong with indexing?
Nothing is "wrong" with it, it is just redundant. As others have noted here,
both indexes and function calls represent a mapping. What's the point of
having two ways to represent a mapping? In an Ada-like language, there's no
syntax nor semantic difference.
Ada (and most other languages) are full of redundant stuff. Simpilfy the
basics and then one has more room for interesting stuff (static analysis,
parallel execution, etc.).
Randy.
next prev parent reply other threads:[~2020-12-23 1:23 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-17 22:39 Ada syntax questions DrPi
2020-12-17 23:18 ` Gabriele Galeotti
2020-12-18 8:26 ` Jeffrey R. Carter
2020-12-18 9:18 ` Dmitry A. Kazakov
2020-12-18 16:55 ` Mart van de Wege
2020-12-18 17:38 ` Björn Lundin
2020-12-18 19:35 ` Niklas Holsti
2020-12-20 21:59 ` Keith Thompson
2020-12-22 1:04 ` Randy Brukardt
2020-12-22 8:00 ` Dmitry A. Kazakov
2020-12-23 1:23 ` Randy Brukardt [this message]
2020-12-23 8:59 ` Dmitry A. Kazakov
2020-12-24 4:06 ` Randy Brukardt
2020-12-24 9:37 ` Dmitry A. Kazakov
2020-12-22 13:48 ` AdaMagica
2020-12-20 21:59 ` Keith Thompson
2020-12-21 8:08 ` Dmitry A. Kazakov
2020-12-18 23:09 ` Stephen Leake
2020-12-19 11:50 ` DrPi
2020-12-19 12:40 ` Dmitry A. Kazakov
2020-12-19 17:13 ` Andreas ZEURCHER
2020-12-19 17:49 ` Dmitry A. Kazakov
2020-12-19 18:40 ` Andreas ZEURCHER
2020-12-19 19:37 ` Dmitry A. Kazakov
2020-12-19 22:11 ` Andreas ZEURCHER
2020-12-20 8:47 ` Dmitry A. Kazakov
2020-12-20 16:53 ` Andreas ZEURCHER
2020-12-22 0:58 ` Randy Brukardt
2020-12-22 2:39 ` Andreas ZEURCHER
2020-12-22 10:05 ` Stéphane Rivière
2020-12-25 9:34 ` G.B.
2020-12-19 17:01 ` AdaMagica
2020-12-19 21:51 ` Stephen Leake
2020-12-19 22:20 ` Andreas ZEURCHER
2020-12-20 14:10 ` DrPi
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox