Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!crdgw1!jupiter!rimvallm
From: rimvallm@jupiter.crd.ge.com (Magnus Rimvall)
Newsgroups: comp.lang.c
Subject: Re: C strongly typed?
Summary: Learn the facts first, then open your mouth
Message-ID: <5880@crdgw1.crd.ge.com>
Date: 8 Mar 90 17:02:46 GMT
References: <259@eiffel.UUCP> <1990Mar1.172526.28683@utzoo.uucp> <849@enea.se> <2963@goanna.oz.au>
Sender: news@crdgw1.crd.ge.com
Organization: General Electric Corporate R&D Center
Lines: 33

In article <2963@goanna.oz.au> you write:
>
>	declare
>	    subtype apple  is integer;
>	    subtype orange is integer;
>	    a: apple;
>	    o: orange := 1;
>	begin
>	    a := o;
>	end
>Again, the assignment is well-typed.  Why should C be different?

and thereby attempt to imply that Ada, C and Pascal have an equal
(lack of) strong typing and type checking.

Obviously, you either know very little about Ada or you deliberately
try to misinform the reader.

If your Ada example had read as follows:

	declare
	    type apple  is NEW integer;
	    type orange is NEW integer;
	    a: apple;
	    o: orange := 1;
	begin
	    a := o;
	end

the a:=o assignment would have been illegal, and would have
been caught AT COMPILE TIME by any Ada compiler.

Magnus Rimvall