[comp.lang.misc] Bondage and Discipline Language

rgh@inmet (01/11/89)

>Are you using the phrase "dynamically typed" to refer to object-oriented
>languages? I haven't run into this phrase before, and it's quite evocative.

A variable is "dynamically typed" if its type can vary at runtime.
In Icon, for instance:

	A := 1
	A := "2"

This statement sequence is legal; after the first statement the variable
A has type integer, after the second, string.  The builtin function
type() can be used to determine the current type of a variable.

Randy Hudson  rgh@inmet.inmet.com  uunet!inmet!rgh