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: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public X-Google-Thread: fac41,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: f79bb,953e1a6689d791f6 X-Google-Attributes: gidf79bb,public From: donh@syd.csa.com.au (Don Harrison) Subject: Re: Eiffel and Java Date: 1996/10/29 Message-ID: #1/1 X-Deja-AN: 193327695 sender: news@syd.csa.com.au x-nntp-posting-host: dev11 references: <550sm2$sn1@buggy.news.easynet.net> organization: CSC Australia, Sydney reply-to: donh@syd.csa.com.au newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.sather Date: 1996-10-29T00:00:00+00:00 List-Id: Vincent WEBER writes: :Sather's contravariant mecanism seem very interesting too, has stronger and :safer theorical bases... Why does Sather use contravariance (apart from the safety issue). You would expect more specific actions to require more specific parameters. : Sather also allow sepation between code inclusion and :subtyping. Is it cleaner, or just more complicated that the universal :inheritance mecanism ? any comment ?) What is the purpose of separating interface and implementation inheritance? When would you need to inherit an implementation without needing it's interface as well (and vice versa)? [...] : By the way, one more thing : I just had a look at ADA 95 and it's "OO" model. :Even if I admit it is powerful, I think it's very heavy. (The ADA 9X group had :to keep all the Ada 93 stuff...:)). However, one thing interested me : Ada :fanatics claim that the dot notation break the symetry of natural operation, :and that Ada's model of dynamic bindings in all the parameters of a procedure :is better (that is, writing for instance Add(VectorA, VectorB) instead of :VectorA.Plus(VectorB). I don't know what to think about this controversy. Any :idea ? Don't mistake Ada's symmetrical syntax for multiple dispatching (binding driven by more than one parameter). Ada is still single dispatched so for dispatching operations, the symmetry is syntactic rather than semantic. Don. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Don Harrison donh@syd.csa.com.au