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-09 02:12:35 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: dmitry6243@my-deja.com Newsgroups: comp.lang.ada Subject: Re: Parameter Modes, In In Out and Out Date: Tue, 09 Jan 2001 09:58:51 GMT Organization: Deja.com Message-ID: <93encq$brm$1@nnrp1.deja.com> References: <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> NNTP-Posting-Host: 212.79.194.99 X-Article-Creation-Date: Tue Jan 09 09:58:51 2001 GMT X-Http-User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US; m18) Gecko/20001108 Netscape6/6.0 X-Http-Proxy: 1.1 x56.deja.com:80 (Squid/1.1.22) for client 212.79.194.99 X-MyDeja-Info: XMYDJUIDdmitry6243 Xref: supernews.google.com comp.lang.ada:3798 Date: 2001-01-09T09:58:51+00:00 List-Id: In article <93e4e6$ucg$1@nnrp1.deja.com>, Robert Dewar wrote: > In article <93cagm$c1j$1@nnrp1.deja.com>, > dmitry6243@my-deja.com wrote: > > It is pity that Ada 95 didn't > > use all advantages of the concept. For instance, to have > > multiple dispatch, or even, all types "tagged"! > > It is NOT "using all advantages of [a] concept" to insist that > it be used absolutely everywhere. On the contrary, that kind of > approach leads to a much more restrictive and less useful > expressive power. If you meant under the concept "to be used everywhere" the type based distinction between things that dispatch and things that do not", then I do insist (:-). Do you disagree? If the concept is an ability to derive from a type, then please note that already in Ada 83, one had an ability to derive from any type: type XX is new X; How could this be "restrictive"? > 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. Single dispatch is like to have overloading involving exactly one dedicated parameter. I am well aware of artefacts of MD. Nobody says that MD is simple. But single dispatch is simply wrong for binary operations. (Nice that Ada at least enforces same tag for all dispatching parameters. In C++ the situaltion is catastrophic). It is better not to use a thing at all than to use it incorrectly. -- Regards, Dmitry Kazakov Sent via Deja.com http://www.deja.com/