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,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/07/21 Message-ID: #1/1 X-Deja-AN: 258035497 Distribution: world References: Organization: PSINet Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-21T00:00:00+00:00 List-Id: In article donh@syd.csa.com.au (Don Harrison) writes: > in one place all the modules used by another. In contrast, because > Eiffel *does* support safe reuse of components, it isn't as > important to separately document the modules used. ??? I don't think so. > :If you let code anywwhere > :reach anywhere easily, you have a recipe for mess. > > I agree for Ada. I don't agree for Eiffel which gives you a high > level of confidence that you can reuse with impunity. Reusing > certain modules may happen to be nonsensical but that's a design > issue - not a reuse issue - and irrelevant to this argument. Come on Don, this problem is in Eiffel as well - it just doesn't offer any support to fix it. You have to punt out to something like LACE which is just a hack. A hack that works, but a hack nonetheless. > :The requirement to write a with clause is also the requirement to think > :about whether it is appropriate for the unit you are in to "with" the > :unit that you think you need. > > I disagree. An Eiffel software engineer thinks about this when they > *use* a module. Irrelevant. The point is you can't just have "classes" - they do not support large scale structures. That's a bit part of why there even is a LACE for crying out loud. [[Aside: You know, Eiffel is a fairly decent language - not great, but decent. I'm with Brian Rogoff on this - all programming languages suck. And Eiffel sucks less than some but definitely more than others. IMO, it clearly sucks more than Ada, but people can disagree on this as they both suck. The big problem here is simply that many Eiffel folk act as if it's a religion and sound very similar to the sort of Ada fanatic that you used to run into.]] /Jon -- Jon Anthony OMI, Belmont, MA 02178 617.484.3383 "Nightmares - Ha! The way my life's been going lately, Who'd notice?" -- Londo Mollari