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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID 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 X-Google-Thread: fdb77,953e1a6689d791f6 X-Google-Attributes: gidfdb77,public X-Google-Thread: f79bb,953e1a6689d791f6 X-Google-Attributes: gidf79bb,public From: gomes@ICSI.Berkeley.EDU (Benedict A. Gomes) Subject: Re: Eiffel and Java Date: 1996/11/12 Message-ID: <56anfm$ito@agate.berkeley.edu>#1/1 X-Deja-AN: 196171724 references: <550sm2$sn1@buggy.news.easynet.net> <55562c$nkd@mulga.cs.mu.OZ.AU> <328592FC.64F26D66@sede.unijui.tche.br> <328831DB.47C86C44@horz.technopark.gmd.de> organization: International Computer Science Institute, Berkeley, CA, U.S.A. newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.sather,comp.lang.java.advocacy Date: 1996-11-12T00:00:00+00:00 List-Id: In article <328831DB.47C86C44@horz.technopark.gmd.de>, Alexander Asteroth wrote: > >> This kind of interface/implementation in Sather is diferent of the usual >> concept. This is subtype/subclass independence. That is a good thing in >> Sather that I have not yet thinked of the exact consequences. >> >> Interfaces in Java have nothing to do with this concepts. Interface in >> Java is an implementation restriction (not a conceptual one) to avoid >> multiple-inheritance and work yet work with static typing. Interface is >> java is just a deferred class with just deferred routines. Nothing more, >> nothing less. > >I don't see your point. What is missing in Java's interfaces. > The main difference is that in Sather (and Sather-K) it is possible to inherit implementation without becoming a subtype. Philosophically, code inheritance was viewed as a structured macro like facility, an editing tool, and very much secondary to the abstraction relationships. ben