From: gmc444@yahoo.com (Greg C)
Subject: Re: Ada / C++ comparison paper
Date: 19 Dec 2001 08:10:14 -0800
Date: 2001-12-19T16:10:14+00:00 [thread overview]
Message-ID: <62340e2a.0112190810.16f029ff@posting.google.com> (raw)
In-Reply-To: 1008697855.857274@master.nyc.kbcfp.com
"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
next prev parent reply other threads:[~2001-12-19 16:10 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-17 10:22 Ada / C++ comparison paper Martin Dowie
2001-12-17 14:42 ` Frode Tenneboe
2001-12-17 22:07 ` Hyman Rosen
2001-12-17 22:34 ` David C. Hoos
2001-12-17 22:37 ` Marin David Condic
2001-12-18 0:54 ` Ed Falis
2001-12-18 9:30 ` martin.m.dowie
2001-12-18 14:49 ` Marin David Condic
2001-12-18 17:51 ` Hyman Rosen
2001-12-19 16:10 ` Greg C [this message]
2001-12-20 14:41 ` Hyman Rosen
2001-12-20 20:16 ` Greg C
2001-12-19 20:44 ` Wes Groleau
2001-12-19 20:47 ` Ed Falis
2001-12-20 18:16 ` Ted Dennison
2001-12-20 19:12 ` Richard Riehle
2001-12-18 1:16 ` Larry Kilgallen
2001-12-17 22:52 ` Matthew Heaney
2001-12-18 15:47 ` Hyman Rosen
2001-12-18 16:20 ` Pat Rogers
2001-12-18 17:00 ` Hyman Rosen
2001-12-18 17:28 ` Larry Kilgallen
2001-12-18 19:40 ` Brian Rogoff
2001-12-18 20:25 ` Hyman Rosen
2001-12-19 0:53 ` was Re: Ada / C++ comparison paper anymore Mark Lundquist
2001-12-19 1:47 ` Brian Rogoff
2001-12-19 18:20 ` Mark Lundquist
2001-12-19 19:39 ` Patrick Hohmeyer
2001-12-19 19:38 ` Mark Lundquist
2001-12-19 20:51 ` Patrick Hohmeyer
2001-12-20 17:56 ` Brian Rogoff
2001-12-20 18:48 ` Patrick Hohmeyer
2001-12-20 19:20 ` Brian Rogoff
2001-12-21 3:16 ` Implicit instantiation (was Re: Ada / C++ comparison paper anymore) Mark Lundquist
2001-12-21 3:12 ` Implicit instantiation (was Re: was " Mark Lundquist
2001-12-21 2:55 ` Mark Lundquist
2001-12-20 20:22 ` was Re: Ada / C++ comparison paper anymore Ted Dennison
2001-12-20 20:57 ` Marin David Condic
2001-12-21 17:44 ` Richard Riehle
2001-12-21 17:51 ` Marin David Condic
2001-12-19 18:20 ` Ada / C++ comparison paper Mark Lundquist
2001-12-20 20:27 ` Ted Dennison
2001-12-20 20:59 ` Marin David Condic
2001-12-21 14:26 ` Ted Dennison
2001-12-21 14:32 ` Marin David Condic
2001-12-21 15:11 ` Jean-Marc Bourguet
2001-12-20 22:30 ` tmoran
2001-12-20 22:36 ` Marin David Condic
2001-12-21 14:23 ` Ted Dennison
2001-12-21 18:46 ` tmoran
2001-12-21 19:09 ` Ted Dennison
2001-12-21 2:46 ` Mark Lundquist
2001-12-21 14:28 ` Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox