Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!news.cs.indiana.edu!arizona.edu!arizona!gudeman
Newsgroups: comp.lang.misc
Subject: RE: Dynamic typing (part 3)
Message-ID: <1595@optima.cs.arizona.edu>
From: gudeman@cs.arizona.edu (David Gudeman)
Date: 8 Apr 91 00:58:06 GMT
Sender: news@cs.arizona.edu
Lines: 14

In article  <6APR91.10374005@uc780.umd.edu> cs450a03@uc780.umd.edu writes:
]...
]"Dynamic typing is when the most efficient of the available primitive
]machine representation for some value(s) is chosen at run-time."

I don't like that definition at all.  In the first place, it is an
implementation-based definition rather than a semantic one.  In the
second place, I don't know of any dynamically typed language that
claims to choose the "most efficient ... representation" -- they
choose a convenient representation.
--
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman