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-05-31 03:15:10 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.vmunix.org!fu-berlin.de!uni-berlin.de!dialin-145-254-039-252.arcor-ip.NET!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: MI in Ada 200X (was: Suggestion for Ada 200x - Interface inheritance) Date: Sat, 31 May 2003 12:17:34 +0200 Organization: At home Message-ID: References: <0Pxza.699607$OV.652508@rwcrnsc54> <4a4de33a.0305280557.5d5aba37@posting.google.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: dialin-145-254-039-252.arcor-ip.net (145.254.39.252) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: fu-berlin.de 1054376108 7721320 145.254.39.252 (16 [77047]) User-Agent: KNode/0.7.1 Xref: archiver1.google.com comp.lang.ada:38192 Date: 2003-05-31T12:17:34+02:00 List-Id: Preben Randhol wrote: > Dmitry A. Kazakov wrote: >> >> Hey, the burden of proof is on your side! (:-)). SI is an artificially > > MI is not in Ada95. You want MI in Ada2005[*] and your reason is that > since we have A (SI) we must have B (MI)? :-) If you have said "A", you should also say "B". (:-)) If a language should have inheritance, then it should be MI. But I also want multiple dispatch, and full ADT, and all types tagged (including tasks and protected types), and ... So I do not expect it in 2005. Sigh. > [*] I sure hope it is not called Ada05 Ada XP? (:-)) -- Regards, Dmitry A. Kazakov www.dmitry-kazakov.de