comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package
Date: Thu, 31 May 2018 17:45:23 -0500
Date: 2018-05-31T17:45:23-05:00	[thread overview]
Message-ID: <peptug$sd0$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 534965d3-e494-476b-8a91-6cf9f376c020@googlegroups.com

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:534965d3-e494-476b-8a91-6cf9f376c020@googlegroups.com...
...
>Btw, I realize that Ada's _LRM_ utilizes 1,000 times the term "inherit" 
>colloquially
>in the sense of OP's and Dmitry's usage.

Nothing "colloquially" about it: any term not defined in the RM is used in 
its English language sense, and specifically from a definition based on a 
particular dictionary (see 1.3). (Well, there's an exception for 
mathematical terms, but "inherit" surely isn't one of those.

In any case, I'm only interested in the terminology of the RM when it comes 
to discussing Ada. Dmitry has taught me well that there is no point is 
spending a moment arguing with someone that uses words in some other way - 
it's virtually impossible even understand what they're actually talking 
about. So I'm not going to waste any more time in this subthread.

                                       Randy.


  parent reply	other threads:[~2018-05-31 22:45 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-26 16:14 about inheritance of subtypes and entities (such as constants) related to a type in the same package Mehdi Saada
2018-05-26 16:44 ` Mehdi Saada
2018-05-29 22:07   ` Randy Brukardt
2018-05-29 22:12 ` Randy Brukardt
2018-05-30  8:13   ` Dmitry A. Kazakov
2018-05-30 19:25     ` Randy Brukardt
2018-05-30 19:45       ` Dmitry A. Kazakov
2018-05-30 19:59         ` Randy Brukardt
2018-05-31  8:44           ` Dmitry A. Kazakov
2018-05-31 22:48             ` Randy Brukardt
2018-05-31 23:39               ` Mehdi Saada
2018-06-01  2:50                 ` Shark8
2018-06-01  7:35                 ` Dmitry A. Kazakov
2018-05-30 20:53   ` Dan'l Miller
2018-05-31  8:54     ` Dmitry A. Kazakov
2018-05-31 14:29       ` Dan'l Miller
2018-05-31 14:38         ` Dan'l Miller
2018-05-31 17:37         ` Dmitry A. Kazakov
2018-05-31 18:53           ` Dan'l Miller
2018-05-31 19:59             ` Dmitry A. Kazakov
2018-05-31 21:10               ` Dan'l Miller
2018-06-01  7:56                 ` Dmitry A. Kazakov
2018-06-01 14:01                   ` Dan'l Miller
2018-06-01 15:27                     ` Dmitry A. Kazakov
2018-05-31 22:45             ` Randy Brukardt [this message]
2018-05-31 23:50               ` Dan'l Miller
2018-06-01  7:38               ` Dmitry A. Kazakov
2018-05-31 22:34     ` Randy Brukardt
replies disabled

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