From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package
Date: Thu, 31 May 2018 07:38:50 -0700 (PDT)
Date: 2018-05-31T07:38:50-07:00 [thread overview]
Message-ID: <ae1d57cb-b29d-4f84-a205-dc95504b8c8e@googlegroups.com> (raw)
In-Reply-To: <affe16ad-c2ed-4603-97cd-6a5ddb94a44c@googlegroups.com>
On Thursday, May 31, 2018 at 9:29:04 AM UTC-5, Dan'l Miller wrote:
> 2) in derived types: … made incompatible to be called using the parent type and vice versa when appearing
> as parameters to routines.
I misspoke by trying to be too concise there in the “vice versa”. I meant: … made incompatible to be called using the parent type or any other subtypes of the parent when the subtype appears as parameters to routines.
Lack of ability to substitute a parent for a subtype and lack of ability to substitute peer subtypes among a class-of-subtypes are anti-properties of inheritance, i.e., counter-examples disproving inheritance.
next prev parent reply other threads:[~2018-05-31 14:38 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-26 16:14 about inheritance of subtypes and entities (such as constants) related to a type in the same package Mehdi Saada
2018-05-26 16:44 ` Mehdi Saada
2018-05-29 22:07 ` Randy Brukardt
2018-05-29 22:12 ` Randy Brukardt
2018-05-30 8:13 ` Dmitry A. Kazakov
2018-05-30 19:25 ` Randy Brukardt
2018-05-30 19:45 ` Dmitry A. Kazakov
2018-05-30 19:59 ` Randy Brukardt
2018-05-31 8:44 ` Dmitry A. Kazakov
2018-05-31 22:48 ` Randy Brukardt
2018-05-31 23:39 ` Mehdi Saada
2018-06-01 2:50 ` Shark8
2018-06-01 7:35 ` Dmitry A. Kazakov
2018-05-30 20:53 ` Dan'l Miller
2018-05-31 8:54 ` Dmitry A. Kazakov
2018-05-31 14:29 ` Dan'l Miller
2018-05-31 14:38 ` Dan'l Miller [this message]
2018-05-31 17:37 ` Dmitry A. Kazakov
2018-05-31 18:53 ` Dan'l Miller
2018-05-31 19:59 ` Dmitry A. Kazakov
2018-05-31 21:10 ` Dan'l Miller
2018-06-01 7:56 ` Dmitry A. Kazakov
2018-06-01 14:01 ` Dan'l Miller
2018-06-01 15:27 ` Dmitry A. Kazakov
2018-05-31 22:45 ` Randy Brukardt
2018-05-31 23:50 ` Dan'l Miller
2018-06-01 7:38 ` Dmitry A. Kazakov
2018-05-31 22:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox