Newsgroups: comp.object,comp.lang.smalltalk,comp.lang.c++,comp.lang.misc
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!news.dfci.harvard.edu!camelot.ccs.neu.edu!chaos.dac.neu.edu!usenet.eel.ufl.edu!tank.news.pipex.net!pipex!oleane!simtel!news.sprintlink.net!in1.uu.net!ftpbox!mothost!schbbs!news
From: shang@corp.mot.com (David L. Shang)
Subject: Re: Types, types: static vs. dynamic -- classification
Reply-To: shang@corp.mot.com
Organization: MOTOROLA 
Date: Thu, 21 Sep 1995 21:37:34 GMT
Message-ID: <1995Sep21.213734.1114@schbbs.mot.com>
References: <BLUME.95Sep18171508@salomon.cs.princeton.edu>
Sender: news@schbbs.mot.com (SCHBBS News Account)
Nntp-Posting-Host: 129.188.128.126
Lines: 21
Xref: glinda.oz.cs.cmu.edu comp.object:38536 comp.lang.smalltalk:28599 comp.lang.c++:150122 comp.lang.misc:23104

In article <BLUME.95Sep18171508@salomon.cs.princeton.edu>  
blume@salomon.cs.princeton.edu (Matthias Blume) writes:
> In article <1995Sep18.150021.7594@schbbs.mot.com> shang@corp.mot.com (David  
L. Shang) writes:
> 
> 	     Dynamically typed is often refered to poly-
> 	     morphism.
> 
> And wrongly so.  SML, for example, is statically typed and uses a
> polymorphic type system.   These two things are not the same.
> 

As I said, each type system or particular language has its
own definition. I am not going to argue with you what name
should be used for what definition.

The majority of static OO langauges including C++, Eiffel, Sather,
Beta, Modula-3, Ada95, etc, use polymorphism in the case which
I described as dynamically typed variables or parameters.

David
