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,b87849933931bc93
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,b87849933931bc93
X-Google-Attributes: gid1108a1,public
X-Google-Thread: f43e6,b87849933931bc93
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,b87849933931bc93
X-Google-Attributes: gid103376,public
From: Robb Nebbe <nebbe@iam.unibe.ch>
Subject: Re: OO, C++, and something much better!
Date: 1997/01/10
Message-ID: <32D6685F.5F97@iam.unibe.ch>#1/1
X-Deja-AN: 209056226
references: <JSA.97Jan1181506@alexandria>
 <rmartin-0201971129150001@pool11-018.wwa.com>
content-type: text/plain; charset=us-ascii
organization: Dept. of CS, University of Berne, Switzerland
mime-version: 1.0
newsgroups: comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng
x-mailer: Mozilla 2.02 (X11; I; SunOS 5.4 sun4m)
Date: 1997-01-10T00:00:00+00:00
List-Id: <comp.lang.ada>


Bertrand Meyer wrote:
> 
> Robert I. Eachus wrote:
> >
> >
> >       Bertrand Meyer said:
> >
> >    > In my opinion neither Ada (83 or 95) nor C++ has the combination
> >    > of mechanisms making it possible to have the full power of
> >    > generics in an object-oriented language, as present in Eiffel...
> >
> >      And then listed four properties, all of which are in Ada 95!
> 
> I disagree. What Mr. Eachus showed in his message is ways to achieve
> in Ada 95 the effect of the object-oriented mechanisms I described,
> as implemented in Eiffel. And he is correct that one can use Ada 95
> to obtain many of the same goals. (This would not be true, for example,
> of C++ and even less of Java.) But this does not mean the "four
> properties" that I listed are in Ada 95. Anyone who checks my
> message and the Ada 95 language definition will see that.

Actually anyone who checks your message and the Ada language definition
will see that Ada provides direct support for the four properties you
listed but of course it doesn't use the same terminology (constrained
and unconstrained genericity) as Eiffel. 

Robb Nebbe