Xref: utzoo comp.lang.c:26674 comp.lang.misc:4365
Path: utzoo!utgpu!watserv1!watmath!att!dptg!ulysses!andante!alice!ark
From: ark@alice.UUCP (Andrew Koenig)
Newsgroups: comp.lang.c,comp.lang.misc
Subject: Re: C strongly typed?
Message-ID: <10552@alice.UUCP>
Date: 7 Mar 90 15:34:21 GMT
References: <259@eiffel.UUCP> <1990Mar1.172526.28683@utzoo.uucp> <849@enea.se>
Organization: AT&T Bell Laboratories, Liberty Corner NJ
Lines: 30

In article <849@enea.se>, sommar@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@europa.att.com