Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10    5/3/83; site cornell.UUCP
Path: utzoo!linus!security!genrad!grkermit!masscomp!clyde!floyd!vax135!cornell!hal
From: hal@cornell.UUCP (Hal Perkins)
Newsgroups: net.lang
Subject: Re: Strong Typing and Ignorance
Message-ID: <5806@cornell.UUCP>
Date: Mon, 12-Dec-83 17:52:03 EST
Article-I.D.: cornell.5806
Posted: Mon Dec 12 17:52:03 1983
Date-Received: Wed, 14-Dec-83 01:24:53 EST
References: <217@kobold.UUCP>
Organization: Cornell Computer Science
Lines: 18


>>>>> On the other hand, C is weakly typed in that it does not perform type
>>>>> checking of procedure parameters (although you can get lint to do this
>>>>> for you).


ARRRRGHHHHH!!!!!!!

The properties of a language are independent of its implementation!  Please
don't confuse the two.  If a Pascal compiler failed to perform any type-
checking, would that change your opinion of whether Pascal was "strongly
typed"?  It shouldn't.  (It might well change your opinion of whether you
wanted to spend any money for that compiler however.)



Hal Perkins                         UUCP: {decvax|vax135|...}!cornell!hal
Cornell Computer Science            ARPA: hal@cornell  BITNET: hal@crnlcs