Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!mcvax!ukc!etive!lfcs!db
From: db@lfcs.ed.ac.uk (Dave Berry)
Newsgroups: comp.lang.c++
Subject: Re: Polymorphism
Message-ID: <1942@etive.ed.ac.uk>
Date: 5 May 89 19:03:00 GMT
References: <5957@pdn.paradyne.com> <2841@crete.cs.glasgow.ac.uk> <3150@kalliope.rice.edu> <1898@etive.ed.ac.uk> <3215@kalliope.rice.edu>
Sender: news@etive.ed.ac.uk
Reply-To: db@lfcs.ed.ac.uk (Dave Berry)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 15

In article <3215@kalliope.rice.edu> boehm@flora.rice.edu (Hans Boehm) writes:
>In article <3150@kalliope.rice.edu> boehm@flora.rice.edu (Hans Boehm) writes:
>>  There is some legitimate debate whether ML (without the recently added
>>  module system) should really be considered polymorphic.
>
>In any case, I don't think that the ML type system should be used to DEFINE
>the notion of polymorphism.

I agree with the second quote, sine ML's polymorphism isn't as general
as other systems, but not the first.

		"You never smile, you know it wouldn't look right.	
 		 'Cause your dentures glow in ultra-violet light..." 
Dave Berry, Laboratory for Foundations      db%lfcs.ed.ac.uk@nsfnet-relay.ac.uk
    of Computer Science, Edinburgh Uni.	    <Atlantic Ocean>!mcvax!ukc!lfcs!db