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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public From: donh@syd.csa.com.au (Don Harrison) Subject: Re: Eiffel and Java + Ada dispatching Date: 1996/11/01 Message-ID: #1/1 X-Deja-AN: 193558157 sender: news@syd.csa.com.au x-nntp-posting-host: dev11 references: <557ce3$ojh@tjnews.is.s.u-tokyo.ac.jp> organization: CSC Australia, Sydney reply-to: donh@syd.csa.com.au newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1996-11-01T00:00:00+00:00 List-Id: Jean-Marc Jezequel writes: :The only thing you really need to make use of OO polymorphism is dynamic binding. :While having at the same time static overloading can make some code fragment more "natural" to :write, the apparent proximity of this feature with dynamic binding yield so much confusion on :the non-expert eyes ... Good point. Is this the (only) reason Eiffel does not have overloading? I remember thinking once that it would also complicate multiple inheritance but don't recall why I thought that. :As an aside, I once wrote a paper on how to emulate multiple dispatch in a parallel :linear algebra library in Eiffel, and it was refused on the ground that a well known :existing library had already solved the problem using C++ overloading. Even this :"expert" C++ referee had no clue on the difference between static and dynamic binding :-( Well, if it's been done in C++, then what more can you have to offer? :) This reminds me of the Australian mathematician, Andrew? Prentice, who has trouble getting his papers on the origin of the Solar System published because he rejects the 'accepted wisdom' of established academia. The fact that many (all?) of his predictions about the outer planets have been confirmed by space probes doesn't seem significant to the assessors. He has found some friends in applied astronomy (at the Jet Propulsion Laboratory), but theoreticians have largely snubbed him. Don. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Don Harrison donh@syd.csa.com.au