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!gandalf.srv.welterde.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:05:48 -0600
Organization: JSA Research & Innovation
Message-ID: <p4o9cc$1ol$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>
 <79b4f018-889d-4948-b2d6-ba5506e1ce9c@googlegroups.com>
Injection-Date: Mon, 29 Jan 2018 23:05:49 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="1813"; 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; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50204
Date: 2018-01-29T17:05:48-06:00
List-Id: <comp.lang.ada>

"Jere" <jhb.chat@gmail.com> wrote in message 
news:79b4f018-889d-4948-b2d6-ba5506e1ce9c@googlegroups.com...
> On Saturday, January 27, 2018 at 9:38:46 AM UTC-5, Dmitry A. Kazakov 
> wrote:
>> On 2018-01-27 15:04, Jere wrote:
...
> While you can get some of the effect of MI that way, it is a single
> inheritance tree, so not quite the same as MI.  You don't run into
> the diamond problem for one.

Ada already has rules for that - if you've implemented interfaces (I 
haven't), that's handled. It's the inheritance of components that causes all 
of the implementation problems. And it doesn't matter much what those 
components are, the effort is roughly the same.

                              Randy.