comp.lang.ada
 help / color / mirror / Atom feed
From: G. B. <nonlegitur@nmhp.invalid>
Subject: Re: [Newbie] doubly constrained array, dumb question
Date: Tue, 27 Feb 2018 17:08:40 -0000 (UTC)
Date: 2018-02-27T17:08:40+00:00	[thread overview]
Message-ID: <p743ao$k6h$1@dont-email.me> (raw)
In-Reply-To: p737oh$102b$1@gioia.aioe.org

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> On 27/02/2018 02:29, Mehdi Saada wrote:
> 
>> For 8: a class has any sense at all only if there's no dispatching to an
>> inexistent method, and your forbidding some methods would do the same, raise an exception.
> 
> Not in the case of subtypes. For example, the "class" Integer of which 
> Positive is a "member"

Or a subset, rather? All x in Positive are such that
x in Integer, but Positive is not an element of Integer.


  parent reply	other threads:[~2018-02-27 17:08 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-26 16:26 [Newbie] doubly constrained array, dumb question Mehdi Saada
2018-02-26 17:02 ` J-P. Rosen
2018-02-26 21:40   ` Dmitry A. Kazakov
2018-02-26 23:26   ` Randy Brukardt
2018-02-27  9:01     ` Simon Wright
2018-02-27 22:11       ` Randy Brukardt
2018-02-26 20:52 ` Niklas Holsti
2018-02-27  1:29 ` Mehdi Saada
2018-02-27  9:18   ` Dmitry A. Kazakov
2018-02-27 11:43     ` Mehdi Saada
2018-02-27 14:19       ` Dmitry A. Kazakov
2018-02-27 17:08     ` G. B. [this message]
2018-02-27 17:37       ` Dmitry A. Kazakov
2018-02-27 14:34   ` Jere
2018-02-27 15:13     ` Dmitry A. Kazakov
2018-02-27  7:38 ` Jacob Sparre Andersen
replies disabled

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