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 10:53 PM, Dan'l Miller wrote:

> Yes, I realize that this thread is speaking colloquially in retrospect about Ada83 features as primordial pre-OO.  But the OP's entire topic is predicated on subtyping and type-derivation of non-tagged types that then abuses the OO/Ada95 term "inheritance" as a proleptic anachronism, back misapplying inheritance to the entirely-different Ada83 language that clearly lacks inheritance, in both name and spirit (or primordial soup thereof).

No, it is still inheritance. Ada 83 subtype inherits operations and 
representation of the base type. Similarly Ada 83 cloned type (type X is 
new Y) inherits (clones) both.

> Rather, Ada83 has type derivation and subtyping, which despite the similarity of the name subtyping with OO's subclassing (made worse by C++'s & then later Java's abuse of the term class to mean a single type instead of a tree of types), subtyping in Ada83 has nothing to do with subclassing in Ada95 or any other OO language.

Yes, but these are names for the same concept of a types algebra 
operation when a new type is produced from an old type by *inheriting* 
some of the operations and representations of the old.

Different are the ways of inheritance and methods of achieving 
substitutability. Ada 95 introduced a new (for Ada) method in addition 
to the methods Ada 83 already had.

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