C strongly typed?
Andrew Koenig
ark at alice.UUCP
Thu Mar 8 01:34:21 AEST 1990
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
More information about the Comp.lang.c
mailing list