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: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/12 Message-ID: #1/1 X-Deja-AN: 271750836 Distribution: world References: <33E9ADE9.4709@flash.net> <5utag9$o6s@newshub.atmnet.net> <5v1gua$fkk@newshub.atmnet.net> <5v2k2n$1cfu$2@flood.weeg.uiowa.edu> <5v4095$h62@newshub.atmnet.net> Organization: PSINet Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-09-12T00:00:00+00:00 List-Id: In article kennel@nospam.lyapunov.ucsd.edu (Matt Kennel (Remove 'NOSPAM' to reply)) writes: > :No, that's just basically wrong. Abstract classes are like abstract > :types in Ada, not specs. > > Why? Aren't Eiffel classes like abstract types in Ada, *and* specs? What > is the problem? For all the reasons people have been giving over the last month. Read the Ada RM and you too will twig the difference. Also, no one ever said there was a "problem" - the things are just simply _different_. Why you should think that a problem is beyond me. > The only distinction I see is that Ada requires a separate spec for > each concrete class This is _clearly_ wrong. Specs. (as many have pointed out) are not in any sort of 1-1 relationship with "classes" or types. You can put as many concrete and/or abstract classes/types in a spec. as you want. > I can hardly see this as an important missing ability of Eiffel. I don't care if it is in Eiffel or not. I don't care if anyone thinks it is "important" or not. Why should I care one RA about whether it is in Eiffel?? Other people (apparently yourself included) are the ones flipping out over how this might be a "problem" or missing in Eiffel. I'm merely pointing out that the things in question are _different_ and that difference is _clearly_ objective. /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