From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: interfaces and limited/controlled/limited-controlled types
Date: Mon, 29 Jan 2018 17:03:48 -0600
Date: 2018-01-29T17:03:48-06:00 [thread overview]
Message-ID: <p4o98k$cjr$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: p4i2ti$nqp$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:p4i2ti$nqp$1@gioia.aioe.org...
> On 2018-01-27 15:04, Jere wrote:
>
>> I didn't see this in the discussion referenced, but how hard is it for
>> the
>> compiler to detect that a specific language defined interface is used
>> and have it do a mixin for the needed components.
>
> Which is called "multiple inheritance", implementation of (:-))
Precisely my point. You would have to implement complete multiple
inheritance for this one case. It's certainly possible (languages that have
full multiple inheritance exist, after all), but once you've done that, you
might as well support it for all types (there isn't a lot of difference).
You might be able to get a bit of simplification by not having to worry
about discriminant-dependent components or controlled components inside of
controlled type, but that wouldn't help a whole lot.
Randy.
next prev parent reply other threads:[~2018-01-29 23:03 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-25 16:21 interfaces and limited/controlled/limited-controlled types Mehdi Saada
2018-01-25 22:00 ` Robert Eachus
2018-01-26 4:58 ` Randy Brukardt
2018-01-26 8:28 ` Dmitry A. Kazakov
2018-01-26 11:17 ` Alejandro R. Mosteo
2018-01-27 7:12 ` Randy Brukardt
2018-01-27 14:04 ` Jere
2018-01-27 14:38 ` Dmitry A. Kazakov
2018-01-27 18:28 ` Jere
2018-01-29 23:05 ` Randy Brukardt
2018-01-29 23:03 ` Randy Brukardt [this message]
2018-01-31 11:54 ` Alejandro R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox