On Thu, Jan 03, 2002 at 05:34:00PM -0600, Richard Cobbe wrote: > > Yes, it *is* types. Remember the definition of type-safety: > > If an expression E is determined at compile time to have type T, > then evaluating E will have one of two results: > > 1) The value of E is a valid object of type T and not just some > random collection of bits we're misinterpreting as a T. > 2) a well-defined runtime error occurs (e.g., Java's > ArrayBoundsException). > An ArrayBoundsException is not a question of type in Java. An array of two chars is exactly the same type as an array of two thousand chars. A two-dimensional array of chars, on the other hand, is a different type from a three-dimensional one.
David > > > -- > To UNSUBSCRIBE, email to [EMAIL PROTECTED] > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED] >
