Re: OT: Language War (Re: "C" Manual)

[David Jardine <tea43209@mail.dns-host.com>]

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 debian-user-request@lists.debian.org 
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
>