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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1592759aa83d0d45 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-01 00:07:13 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news.telebyte.nl!news-fra1.dfn.de!news-lei1.dfn.de!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: Martin Krischik Newsgroups: comp.lang.ada Subject: Re: MI in Ada 200X Date: Sat, 31 May 2003 15:53:37 +0200 Organization: AdaCL Message-ID: <1249705.nbiPLfKFDK@linux1.krischik.com> References: <0Pxza.699607$OV.652508@rwcrnsc54> <4a4de33a.0305280557.5d5aba37@posting.google.com> Reply-To: martin@krischik.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: news.t-online.com 1054451058 07 4397 mRVEVtESSRYC3B 030601 07:04:18 X-Complaints-To: usenet-abuse@t-online.de X-ID: E7WnhqZcweQ1nPh+VH3WoQ+EzwYH6kNd6Wg+n14otF1IEuqnxcGz0L User-Agent: KNode/0.7.2 Xref: archiver1.google.com comp.lang.ada:38271 Date: 2003-05-31T15:53:37+02:00 List-Id: Dmitry A. Kazakov wrote: > Karel Miklav wrote: > >> Dmitry A. Kazakov wrote: >> I don't see how this is related to MI. What do you think about the >> diamond problem and other evils of MI? > > Incest? A bad thing, you know. However, I would not call a problem > anything that can be detected at compile-time. -- The Problem is not detecting it. The problem is alowing it. Even in real live it is eventualy allowed (usualy from 2nd level cousins onwards). If you don't allow it you will sooner or later run into real limitations - beeing unable to combine just the right parents to form just the right child. With Regards Martin -- mailto://krischik@users.sourceforge.net http://www.ada.krischik.com