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 Date: 1996/11/21 Message-ID: #1/1 X-Deja-AN: 197769334 sender: news@syd.csa.com.au x-nntp-posting-host: dev50 references: organization: CSC Australia, Sydney reply-to: donh@syd.csa.com.au newsgroups: comp.lang.eiffel,comp.lang.ada Date: 1996-11-21T00:00:00+00:00 List-Id: Jon Anthony writes: :Well - yes, I know that is how Sather works in this area. I meant :that in the Eiffel case you would have to fake this with a class which :you happen to "really implement" by means of another separate class. You wouldn't *want* to try to fake it simply because you don't need to. Trying to fake it is like attempting to cut a tree down with a chainsaw by bashing the sharp end against the tree just because you're used to using an axe - in other words, using a tool in a different way from that intended. :So, you don't think the approaches _are_ different?????????!?!?!?! No, they are obviously different. I am disagreeing with the claim that everyone involved in that discussion (about the benefits or otherwise of separating interface from implementation) agreed on what the issues were. They did not. Some people thought particular things were relevant to the issue which others (maybe only myself) considered irrelevant. There was no general agreement on what the issues were. (I don't accept that it is necessary to explicitly separate interface and implementation to acheive 1) Type safety, 2) Separate compilation, 3) Whatever else). :) Don. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Don Harrison donh@syd.csa.com.au