Lex writes:

> For example, it's trivial to have a dynamic type like "an integer
> greater than 17", but it's cutting edge to do this in a static type
> system.

	Right, not to mention "an integer greater than 17, but only until
tomorrow". (In a dynamic system, the type of an object can change from
moment to moment, as one adds methods to or removes methods from its
lineage.)


-C

--
Craig Latta
improvisational musical informaticist
craig at netjam.org
www.netjam.org
[|] Proceed for Truth!