Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site kobold.UUCP
Path: utzoo!linus!security!genrad!grkermit!masscomp!kobold!tjt
From: tjt@kobold.UUCP
Newsgroups: net.lang
Subject: Re: 'lint' and strong typing - (nf)
Message-ID: <254@kobold.UUCP>
Date: Fri, 13-Jan-84 22:02:11 EST
Article-I.D.: kobold.254
Posted: Fri Jan 13 22:02:11 1984
Date-Received: Sun, 15-Jan-84 00:10:51 EST
References: <1376@pur-ee.UUCP>
Organization: Masscomp, Westford, MA
Lines: 11

Allan Pratt has suggested using "lint" (or some other pre-processor) to
implement strong type checking in C.  Unfortunately, as long the
type-checking system must be applied manually, it will require an iron
will (and an iron hand on the whip) to administer.  It's much easier to
adhere to if it *enforced* by the compiler.  How many C programmers have
continued to ignore the "warnings" already produced by the type
checking in the pre-System V compilers (I understand that these are now
*errors* in System V).
-- 
	Tom Teixeira,  Massachusetts Computer Corporation.  Westford MA
	...!{ihnp4,harpo,decvax}!masscomp!tjt   (617) 692-6200 x275