comp.lang.ada
 help / color / mirror / Atom feed
From: Adam Beneschan <adambeneschan@gmail.com>
Subject: Re: array of string
Date: Mon, 6 Oct 2014 09:58:58 -0700 (PDT)
Date: 2014-10-06T09:58:58-07:00	[thread overview]
Message-ID: <d64207db-a6b8-4bd0-a088-2307b028016d@googlegroups.com> (raw)
In-Reply-To: <316d9x005gmc.5g7tfuqkgxab.dlg@40tude.net>

On Saturday, October 4, 2014 8:20:36 AM UTC-7, Dmitry A. Kazakov 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).

Actually, RM 3.2.3(1) considers both predefined operators (which are subprograms) and "language-defined operations such as assignment or a membership test" (which are not subprograms) to be "predefined operations", and it says those are included in "primitive operations".  

The AARM has this note (3.2.3(1.c)):

# Discussion: We use the term "primitive subprogram" in most of the
# rest of the manual. The term "primitive operation" is used mostly in
# conceptual discussions.

Whether this is actually true is debatable.  I tried searching for the term "primitive operation" in the AARM and found some places in 3.9 where it looks like the term was used where "primitive subprogram" would have been more appropriate, but those where only in the AARM, not the RM.  I didn't search really hard, though.  In any case, I can understand why there would be confusion.

                             -- Adam


  reply	other threads:[~2014-10-06 16:58 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-03 23:29 array of string Stribor40
2014-10-04  0:50 ` Jerry
2014-10-04  1:07   ` Brad Moore
2014-10-04  1:19   ` Stribor40
2014-10-04  1:29     ` Stribor40
2014-10-04  2:01       ` Stribor40
2014-10-04  7:14       ` Simon Wright
2014-10-04  8:32       ` Dmitry A. Kazakov
2014-10-04 14:15         ` AdaMagica
2014-10-04 15:20           ` Dmitry A. Kazakov
2014-10-06 16:58             ` Adam Beneschan [this message]
2014-10-04  3:09     ` Shark8
2014-10-04  5:33     ` Brad Moore
2014-10-07  1:06 ` brbarkstrom
2014-10-07 16:06   ` Use of bounded strings? (Was: array of string) Jacob Sparre Andersen
2014-10-07  2:08 ` array of string Jerry
2014-10-07 16:49 ` brbarkstrom
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox