On Nov 24, 2003, at 11:33 AM, Ken Shan wrote: > Maybe -your- type system wouldn't allow it, but mine does: > ... > See also dynamic_cast in C++. Is this a runtime cast check? If so, then don't we end up with potential runtime errors related to types? (which is what the typing system exists to avoid) -- Steve