From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package
Date: Wed, 30 May 2018 10:13:57 +0200
Date: 2018-05-30T10:13:57+02:00 [thread overview]
Message-ID: <pelmg4$v5t$1@gioia.aioe.org> (raw)
In-Reply-To: pekj85$tn0$1@franka.jacob-sparre.dk
On 2018-05-30 12:12 AM, Randy Brukardt wrote:
> Changing inheritance would be wildly incompatible, so I don't think there is
> any chance of that.
We can just add another method of inheritance as it has been
successfully done with tagged types. We need interface inheritance from
a concrete type with user-defined conversion operations to support
substitution and class-wide values in the form (tag, value).
BTW, the old inheritance has a very powerful and very useful mechanism
of cloning types:
type S is new T;
There is much reason for both methods to coexist. Presently in order to
be able to clone tagged type I must place its root type in a generic,
which is huge overkill.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-05-30 8:13 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 [this message]
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
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