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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: array of string Date: Sat, 4 Oct 2014 17:20:20 +0200 Organization: cbb software GmbH Message-ID: <316d9x005gmc.5g7tfuqkgxab.dlg@40tude.net> References: <3ffbdc6a-e767-4de1-922f-c9c1ec748f4d@googlegroups.com> <017bf59f-074b-470e-b959-88e0a484bf63@googlegroups.com> <1upa6p7nx1ar6$.ykhb0o5h2qen.dlg@40tude.net> <01611b4d-fe59-433c-ba6c-3ee75f8a3e26@googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: ZB2Fb2q1fa4xpMpNKFqV6Q.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:22084 Date: 2014-10-04T17:20:20+02:00 List-Id: On Sat, 4 Oct 2014 07:15:43 -0700 (PDT), AdaMagica wrote: > On Saturday, October 4, 2014 10:32:44 AM UTC+2, Dmitry A. Kazakov wrote: >> this case either. Assignment is not an operation in Ada. > > Just being picky on nomenclature: There is an *assignment statement* in > Ada, a part of that is the *assignment operation*. > > What you mean, is: Assignment is not an *operator* in Ada. Not quite. Though, I prefer "operator" to mean a lexical element of an expression (e.g. +) and "operation" to mean a subprogram taking the type as an argument or result (e.g. a primitive operation). So, yes assignment is not an operator, but I don't want it to be one. I don't want assignments to appear in expressions, as I didn't want if-then-else in expressions introduced recently. Both are abomination to me. But I want the part of assignment statement you call operation to be a proper one, primitive for all involved types and overriddable. Randy used to say that this were impossible due to discriminants, that is IMO untrue. The real trouble with assignment is multiple dispatch. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de