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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,198c6302c4a0b0d7
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-19 08:10:14 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: gmc444@yahoo.com (Greg C)
Newsgroups: comp.lang.ada
Subject: Re: Ada / C++ comparison paper
Date: 19 Dec 2001 08:10:14 -0800
Organization: http://groups.google.com/
Message-ID: <62340e2a.0112190810.16f029ff@posting.google.com>
References: <3c1dc786@pull.gecm.com> <1008601517.470745@edh3>
 <1008626816.690418@master.nyc.kbcfp.com> <9vls3v$en1$1@nh.pace.co.uk>
 <3C1E941C.5010402@mediaone.net>
 <P2ET7.25032$4e3.3277598@news6-win.server.ntlworld.com>
 <1008697855.857274@master.nyc.kbcfp.com>
NNTP-Posting-Host: 65.209.183.209
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1008778214 2303 127.0.0.1 (19 Dec 2001 16:10:14
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 19 Dec 2001 16:10:14 GMT
Xref: archiver1.google.com comp.lang.ada:18096
Date: 2001-12-19T16:10:14+00:00
List-Id: <comp.lang.ada>

"Hyman Rosen" <hyrosen@mail.com> wrote in message news:<1008697855.857274@master.nyc.kbcfp.com>...
[...]
 The author
> is an Eiffel advocate, and the need for whole-program analysis is
> entirely because of Eiffel's misbegotten feature of allowing a derived
> class to inherit its parents' methods but to restrict the parameter
> types, so that the child is not substitutable for its parent.
> 

Actually, this is not true. In Eiffel the parent's methods can declare
parameter types such that child classes can be substituted.

See for an example the discussion on anchored types, section 16.7 of
"Object-Oriented Software Construction" 2nd Ed.

Greg