From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: derived formal types and known discriminants
Date: Thu, 29 Jun 2017 16:39:44 +0200
Date: 2017-06-29T16:39:44+02:00 [thread overview]
Message-ID: <oj33ff$9em$1@gioia.aioe.org> (raw)
In-Reply-To: 82a59ee9-8d55-4c73-9daf-e9f7d9ab8a8f@googlegroups.com
On 29/06/2017 16:15, sbelmont700@gmail.com wrote:
> You imply that the feature is little-used, but isn't this (one of)
> the primary mechanisms for MI via the so-called "mixin"? In Mr.
> Taft's paper from 1994 ("Multiple Inheritance in Ada 9X"), he lists
> the three common cases, of which #2 is the "generic with a formal
> derived type" method, i.e. instead of having C extend both A and B,
> you make one of the parents a generic that extends a formal derived
> type of the other, and than have the child and extend that.
Speaking from my sad experience it creates such a mess no real-life
project can allow. I guess other people either tried it like me or were
wise enough not to.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-06-29 14:39 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-23 0:45 derived formal types and known discriminants sbelmont700
2017-06-23 17:26 ` Randy Brukardt
2017-06-29 14:15 ` sbelmont700
2017-06-29 14:39 ` Dmitry A. Kazakov [this message]
2017-06-29 17:40 ` Robert Eachus
2017-06-30 1:10 ` Randy Brukardt
2017-06-30 7:24 ` Dmitry A. Kazakov
2017-06-30 18:09 ` Randy Brukardt
2017-07-04 0:30 ` sbelmont700
2017-07-04 1:36 ` gautier_niouzes
2017-07-04 2:29 ` Randy Brukardt
2017-07-04 7:09 ` Dmitry A. Kazakov
2017-07-04 17:34 ` Shark8
2017-07-03 17:24 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox