Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!lavaca.uh.edu!menudo.uh.edu!sugar!ficc!peter
From: peter@ficc.ferranti.com (Peter da Silva)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <3E6A.I9@xds13.ferranti.com>
Date: 22 Mar 91 18:05:54 GMT
References: <731@optima.cs.arizona.edu> <1991Mar20.185308.8275@maths.nott.ac.uk> <22MAR91.09242511@uc780.umd.edu>
Reply-To: peter@ficc.ferranti.com (Peter da Silva)
Organization: Xenix Support, FICC
Lines: 13

In article <22MAR91.09242511@uc780.umd.edu> cs450a03@uc780.umd.edu writes:
> (2)  An 'Eval' primitive.

If you need the semantics of eval, you need an interpreted (or incrementally
compiled) language. As a counterexample, Forth provides for this tool
but is not a dynamically typed language in any sense of the word.

Of course, any dynamically typed language has an "inner interpreter", but
that's a different beast from the outer interpreter that understands the
source language.
-- 
Peter da Silva.  `-_-'  peter@ferranti.com
+1 713 274 5180.  'U`  "Have you hugged your wolf today?"