C strongly typed?

[Andrew Koenig]

In article <849 at enea.se>, sommar at enea.se (Erland Sommarskog) writes:

> C strongly typed? If I write something like: (I don't speak C
> so the syntax is probably bogus.)

>     typedef apple int;
>     typedef orange int;
>     apple a;
>     orange b;
>     ...
>     a = b;

> Will a "modern" compiler object?

I don't understand why this is relevant.

If in Standard ML I write

	type apple = int;
	type orange = int;

	val a: apple = 1;
	val b: orange = a;

the compiler won't object either.

Does this mean Standard ML is not strongly typed?
-- 
				--Andrew Koenig
				  ark at europa.att.com