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

["Dan'l Miller" <optikos@verizon.net>]

On Tuesday, May 29, 2018 at 5:12:23 PM UTC-5, Randy Brukardt wrote:
> Inheritance in Ada was designed by Ichbiah in the late 1970s,

Ummmmmmm, am I the only one cringing that the words {inherit, inheritance} are being utilized at all regarding Ada83?  Everyone please check the index of the Ada83 _LRM_.  The words {inherit, inheritance} never appear there at all.  The derived-type and subtype concepts are defined rather differently than any OO-esque definition of inherited.

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).  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.

This whole thread seems to have gotten off on the wrong foot of slamming  proleptic anachronisms from Ada9X program ideas into Ada83 and never really sorted out that fundamental mistake.

> long before 
> anyone really understood OOP or similar systems.

Well, there was Simula in the 1960s.  No less than Tony Hoare himself devised the entire concept of a class of records in an inheritance hierarchy in 1966 for Simula.  Hoare & Wirth were involved with defining Yellow, a competitor of Green/Ada.  So there was some amount of big-brandname awareness of OO even within the Ada color-languages competition during the 1970s.

https://en.wikipedia.org/wiki/Simula

And there was Smalltalk80, a contemporary of Ada, defined nearly the same years as the selection of Ada/Green.