From: Paul Brannan <pbrannan@...>
Date: 2003-10-21T03:38:35+09:00
Subject: Re: OT: Strict typing on large projects

On Sat, Oct 18, 2003 at 06:04:04AM +0900, Dan Sugalski wrote:
> C is a weakly typed language because, with casts, you can make the
> compiler treat any memory location as any type you'd care to.

You don't even need casts:

  int main()
  {
    void * x = 5;
    int y = x;
    printf("%d\n", y); /* implementation-specific behavior here, but
                        * will probably print 5 */
  }

I can use casts to make the compiler treat any memory location as any
type in C++, but many people consider C++ to be strongly-typed (or at
the very least less weakly-typed than C).  I get the impression that C++
is considered strongly typed because dangerous implicit conversions like
the above code are illegal in C++.

Paul