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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 109fba,e0a59694a441eb7b
X-Google-Thread: 103376,e0a59694a441eb7b
X-Google-Thread: fac41,e0a59694a441eb7b
X-Google-Thread: 1108a1,e0a59694a441eb7b
X-Google-Attributes: gid109fba,gid103376,gidfac41,gid1108a1,public
X-Google-ArrivalTime: 2004-04-24 14:41:42 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: gregc@csd.net (Greg C)
Newsgroups: comp.lang.c++,comp.lang.ada,comp.lang.eiffel,comp.object
Subject: Re: OOP Language for OS Development
Date: 24 Apr 2004 14:41:42 -0700
Organization: http://groups.google.com
Message-ID: <f93a6b99.0404241341.3f4c83ab@posting.google.com>
References: <95db0572.0404142153.431fd058@posting.google.com>
 <566e2bfb.0404181753.2844342f@posting.google.com>
 <ytOgc.39006$zm5.17464@nntpserver.swip.net>
 <c67sgr$2e0$1@news5.svr.pol.co.uk> <4088D574.2020503@tele2.fr>
 <c6ap5j$1nh$1@newsg1.svr.pol.co.uk>
 <d853834.0404230630.4c782a58@posting.google.com>
 <XHvic.5501$qP2.13349@news.indigo.ie>
NNTP-Posting-Host: 63.202.70.121
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1082842902 30050 127.0.0.1 (24 Apr 2004 21:41:42
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 24 Apr 2004 21:41:42 +0000 (UTC)
Xref: archiver1.google.com comp.lang.c++:31455 comp.lang.ada:7454
 comp.lang.eiffel:741 comp.object:11116
Date: 2004-04-24T14:41:42-07:00
List-Id: <comp.lang.ada>

JKop <NULL@NULL.NULL> wrote in message news:<XHvic.5501$qP2.13349@news.indigo.ie>...
 
> Why the hell would you want automatic polymorphism? There's times 
> when I want functions NOT to be polymorphic!
> 
> -JKop

If the polymorphism is determined automatically, you don't need to
plug "virtual" keywords everywhere, and you don't need to spend any
time guessing as to which function should be allowed to be
polymorphic. Also, by determining this automatically, the Eiffel
compiler can optimize calls to eliminate polymorphism where it's not
needed. This is something that would be very difficult or impossible
for a C++ compiler to accomplish. If you know you don't want a
function to be polymorphic, then in Eiffel you declare it frozen.

Greg C