Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site fluke.UUCP
Path: utzoo!linus!philabs!seismo!harpo!floyd!vax135!cornell!uw-beaver!ssc-vax!fluke!kurt
From: kurt@fluke.UUCP (Kurt Guntheroth)
Newsgroups: net.lang
Subject: Re: Strong Typing and Ignorance
Message-ID: <837@vax2.fluke.UUCP>
Date: Tue, 13-Dec-83 11:40:23 EST
Article-I.D.: vax2.837
Posted: Tue Dec 13 11:40:23 1983
Date-Received: Fri, 16-Dec-83 02:59:19 EST
References: <5806@cornell.UUCP>
Organization: John Fluke Mfg. Co., Everett, Wash
Lines: 27


>>>>>	>>>>> 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

A R R R R G H H H H ! (etc) (meta-ARRRGHHHH ?)

C does not do type checking of procedure parameters because the language
definition says it does not.  Thus weak type checking is a property of C and
not of a particular implementation.
-- 
Kurt Guntheroth
John Fluke Mfg. Co., Inc.
{uw-beaver,decvax!microsof,ucbvax!lbl-csam,allegra,ssc-vax}!fluke!kurt