Newsgroups: comp.lang.misc
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!batcomputer!cornell!uw-beaver!mit-eddie!xn.ll.mit.edu!xn!olson
From: olson@juliet.ll.mit.edu ( Steve Olson)
Subject: Re: Run-time Type Errors in Smalltalk
In-Reply-To: quale@saavik.cs.wisc.edu's message of 15 May 91 14:18:39 GMT
Message-ID: <OLSON.91May15145347@goneril.juliet.ll.mit.edu>
Lines: 14
Sender: usenet@xn.ll.mit.edu
Organization: M.I.T. Lincoln Lab - Group 43
References: <1991May9.023313.28308@tkou02.enet.dec.com>
	<1991May13.061520.11992@daffy.cs.wisc.edu>
	<1991May13.082152.29294@tkou02.enet.dec.com>
	<1991May15.141839.20603@daffy.cs.wisc.edu>
Date: 15 May 91 14:53:47

In article <1991May15.141839.20603@daffy.cs.wisc.edu> quale@saavik.cs.wisc.edu (Douglas E. Quale) writes:
   In lisp, the most ``common'' dynamically typed language, you cannot throw away
   tagging.

Careful, there is no single thing called "lisp".  (Its more like a state
of mind :-) This is exactly what an optimizing Common Lisp compiler will do.
Spectacular errors (worthy of C :-) will result if you lie when you make
your type declarations.

--
-- Steve Olson
-- MIT Lincoln Laboratory
-- olson@juliet.ll.mit.edu
--