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.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,75a8a3664688f227
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-11 13:55:39 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: mark_lundquist@my-deja.com
Newsgroups: comp.lang.ada
Subject: Re: Parameter Modes, In In Out and Out
Date: Thu, 11 Jan 2001 21:38:15 GMT
Organization: Deja.com
Message-ID: <93l945$s86$1@nnrp1.deja.com>
References: <Zmt56.57012$ca6.937797@news6-win.server.ntlworld.com>
 <7Cx56.90736$A06.3322588@news1.frmt1.sfba.home.com>
 <937jab$s23$1@nnrp1.deja.com> <3A57CD7F.2228BFD5@brighton.ac.uk>
 <938p3u$omv$1@nnrp1.deja.com> <93cagm$c1j$1@nnrp1.deja.com>
 <93e4e6$ucg$1@nnrp1.deja.com> <93encq$brm$1@nnrp1.deja.com>
NNTP-Posting-Host: 130.213.203.244
X-Article-Creation-Date: Thu Jan 11 21:38:15 2001 GMT
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; Windows NT; DigExt)
X-Http-Proxy: 1.1 x59.deja.com:80 (Squid/1.1.22) for client 130.213.203.244
X-MyDeja-Info: XMYDJUIDmark_lundquist
Xref: supernews.google.com comp.lang.ada:3929
Date: 2001-01-11T21:38:15+00:00
List-Id: <comp.lang.ada>

In article <93encq$brm$1@nnrp1.deja.com>,
  dmitry6243@my-deja.com wrote:
> In article <93e4e6$ucg$1@nnrp1.deja.com>,
>   Robert Dewar <robert_dewar@my-deja.com> wrote:

> > As for multiple dispatch -- people can disagree -- but I think
> > the designers of Ada 95 were pretty much unanimous in rejecting
> > consideration of MD -- it's far too much complexity for far too
> > little gain. (please note, MD /= Multiple Inheritance -- the
> > two concepts are unrelated).
>
> Yes "people" disagree (:-). IMO both MD and MI are a rigid must,
> just because they are closures of the concepts of having a dispatching
> parameter and of having a base type.

How does being the "closure" of a concept in the language make it
a "rigid must"?

The point of a programming language is to solve programming problems,
right?  In the case of MI, for instance, Ada shows that in fact it is
_not_ a "must"!  Composition can be made sufficiently powerful (with
access discriminants) to solve the pogramming problem in this case, so
it's hard to argue that MI is a must-have, other than on purely
theoretical grounds.

-- mark


Sent via Deja.com
http://www.deja.com/