From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Re: Copy vector in Ada
Date: Mon, 5 Nov 2012 15:58:53 -0800 (PST)
Date: 2012-11-05T15:58:53-08:00 [thread overview]
Message-ID: <d7a2ef31-43f1-4000-af5a-d7414ec85b3f@googlegroups.com> (raw)
In-Reply-To: <c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com>
Le mardi 6 novembre 2012 00:45:21 UTC+1, Shark8 a écrit :
> On Monday, November 5, 2012 2:34:40 PM UTC-7, Hibou57 (Yannick Duchêne) wrote: > > a derivation hierarchy. That's like a subtype, not a type as a member of a > class (a subtype of Integer is not a member of a fictitious Integer class). But it is, isn't it? Universal_Integer ⊃ Integer ⊃ Positive. Therefore, Universal_Integer ⊃ Positive. Universal integers are a fictitious class of integers and Positive is a subtype of Integer.
Well try, but I pretty sure it's a wrong interpretation. Inclusion relation in a type hierarchy, is precely the opposite way. A type defines a set of possible values or states, a class is a set, but not the same set. Positives indeed belongs to the set of values specified by an Integer, but a Positive does not belong to the set fictitious set of class whose root type would be Integer.
And no, universal integer does not define a class, but a set of values.
More on "Inclusion relation in a type hierarchy, is precely the opposite way": a derived type has to cover a base type, and will probably do more, but in anyway, not less.
Classes and values do not belongs to the same kind of sets.
next prev parent reply other threads:[~2012-11-05 23:58 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-31 16:26 Copy vector in Ada katolsster
2012-10-31 16:37 ` Jeffrey Carter
2012-11-02 11:10 ` katarina.l.olsson
2012-11-02 11:19 ` Yannick Duchêne (Hibou57)
2012-11-02 22:03 ` Maciej Sobczak
2012-11-02 23:45 ` Yannick Duchêne (Hibou57)
2012-11-03 0:15 ` Zhu, Qun-Ying
2012-11-03 3:47 ` Peter C. Chapin
2012-11-03 15:47 ` Yannick Duchêne (Hibou57)
2012-11-03 14:34 ` Maciej Sobczak
2012-11-03 15:54 ` Yannick Duchêne (Hibou57)
2012-11-03 16:03 ` Yannick Duchêne (Hibou57)
2012-11-03 21:57 ` Maciej Sobczak
2012-11-04 7:25 ` Dmitry A. Kazakov
2012-11-04 20:49 ` Maciej Sobczak
2012-11-05 8:31 ` Dmitry A. Kazakov
2012-11-05 8:50 ` Maciej Sobczak
2012-11-05 9:20 ` Dmitry A. Kazakov
2012-11-05 17:22 ` Yannick Duchêne (Hibou57)
2012-11-05 18:42 ` Dmitry A. Kazakov
2012-11-05 20:18 ` Yannick Duchêne (Hibou57)
2012-11-05 20:33 ` Dmitry A. Kazakov
2012-11-05 21:34 ` Yannick Duchêne (Hibou57)
2012-11-05 23:45 ` Shark8
2012-11-05 23:58 ` Hibou57 (Yannick Duchêne) [this message]
2012-11-06 2:17 ` Yannick Duchêne (Hibou57)
2012-11-06 7:28 ` Types vs Subtypes (was: Re: Copy vector in Ada) Simon Wright
2012-11-06 11:33 ` Copy vector in Ada Georg Bauhaus
2012-11-06 19:47 ` Yannick Duchêne (Hibou57)
2012-11-06 19:53 ` Yannick Duchêne (Hibou57)
2012-11-07 12:03 ` Georg Bauhaus
2012-11-07 13:09 ` Dmitry A. Kazakov
2012-11-07 16:17 ` Yannick Duchêne (Hibou57)
2012-11-07 16:11 ` Yannick Duchêne (Hibou57)
2012-11-07 18:06 ` Georg Bauhaus
2012-11-07 20:04 ` Dmitry A. Kazakov
2012-11-07 21:00 ` Yannick Duchêne (Hibou57)
2012-11-08 8:31 ` Dmitry A. Kazakov
2012-11-08 9:58 ` Georg Bauhaus
2012-11-08 14:28 ` Dmitry A. Kazakov
2012-11-05 16:30 ` Yannick Duchêne (Hibou57)
2012-11-02 14:10 ` Georg Bauhaus
2012-11-02 15:28 ` Shark8
2012-11-09 6:22 ` Randy Brukardt
2012-11-19 22:37 ` Katarina Olsson
2012-11-19 22:39 ` Katarina Olsson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox