From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: interfaces and limited/controlled/limited-controlled types
Date: Mon, 29 Jan 2018 17:03:48 -0600
Organization: JSA Research & Innovation
Message-ID: <p4o98k$cjr$1@franka.jacob-sparre.dk>
References: <ea190839-2f83-4dbb-9064-8d6f535cc1d0@googlegroups.com>
 <p4eci9$ao7$1@franka.jacob-sparre.dk> <p4eoqq$1l2v$1@gioia.aioe.org>
 <p4f2oa$c4u$1@dont-email.me> <p4h8pb$cui$1@franka.jacob-sparre.dk>
 <b387d93f-03b0-4f5a-99ce-54e8f7b5b229@googlegroups.com>
 <p4i2ti$nqp$1@gioia.aioe.org>
Injection-Date: Mon, 29 Jan 2018 23:03:49 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="12923"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50203
Date: 2018-01-29T17:03:48-06:00
List-Id: <comp.lang.ada>

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