Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!ncar!noao!arizona!gudeman
From: gudeman@cs.arizona.edu (David Gudeman)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <2701@optima.cs.arizona.edu>
Date: 2 May 91 18:47:23 GMT
Sender: news@cs.arizona.edu
Lines: 20

In article  <STEPHEN.91May2030111@estragon.uchicago.edu> Stephen P Spackman writes:
]In article <2450@optima.cs.arizona.edu> gudeman@cs.arizona.edu (David Gudeman) writes:
]|...  Dynamic
]|typing means that it is not generally possible to assign a machine
]|representation to the values that will be returned by all syntactic
]|expressions.  You can still get strong typing in this case by
]|including type information with the data at runtime.

]This statement confuses the *hell* out of me.

This response confuses the hell out of me.

]DYNAMIC typing uses tags always,

What did you think I meant by "including the type information at
runtime"?
--
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman