Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-05-30 09:59 PM, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:pemv0i$1clu$1@gioia.aioe.org...
> ...
>> I don't see any commonality. One method produces an independent type
>> another does a related types. If you mean specifically inheritance of
>> operations and the representation, that plays no role because of the
>> difference in the types.
> 
> The OP was asking specifically why subtypes and objects aren't inherited, so
> it surely plays a role in answering him.

Why should subtypes be inherited? The question itself does not make 
sense. A type cannot be inherited it is not a property of a type. [*]

I still see no relation. Ada subtype is a mechanism to produce an 
equivalent type. It is fully orthogonal to other forms of inheritance.

> The difference in the definition of
> the types is irrelevant in how inheritance of other things is defined. One
> can argue that was wrong, but it is a fact.

Relevant is that no definition of inheritance in the mechanism A can 
break the mechanism B as they produce different types.

-------------------
* It could be of the there were type-valued types (types type) + 
inheritance from these 2nd-order types. Then a value (1st-order type) of 
a 2nd-order type could be inherited, but that would have nothing to do 
with inheritance from 1st-order types.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de