Newsgroups: comp.software-eng,comp.object,comp.lang.eiffel,comp.lang.smalltalk,comp.lang.modula3,comp.lang.objective-c
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!solaris.cc.vt.edu!uunet!psinntp!bony1!richieb
From: richieb@bony1.bony.com (Richard Bielak)
Subject: Re: Static vs Dynamic Typing: Effects on Productivity?
Message-ID: <CvEFLs.3vz@bony1.bony.com>
Organization: We don't need no stinkin' Organization!
References: <DERWAY.94Aug23180251@alumni.ndc.com> <DERWAY.94Aug24151052@alumni.ndc.com> <1994Aug25.172702.4984@rcmcon.com> <mikec.21.000B26F7@metronet.com>
Date: Wed, 31 Aug 1994 12:20:15 GMT
Lines: 26
Xref: glinda.oz.cs.cmu.edu comp.software-eng:25261 comp.object:19927 comp.lang.eiffel:6243 comp.lang.smalltalk:16082 comp.lang.modula3:2924 comp.lang.objective-c:2995

In article <mikec.21.000B26F7@metronet.com> mikec@metronet.com (Mike Christiansen) writes:
>In article <1994Aug25.172702.4984@rcmcon.com> rmartin@rcmcon.com (Robert Martin) writes:
>
>>For some systems, the trade off should be made in favor of the
>>flexibility.  For others, it should not.  This is also a matter of
>>personal taste.  I prefer not to gamble with the extra flexibility.  I
>>am not that good at finding all the inconsistencies myself.  I prefer
>>that the compiler do as much as it can for me.  
>
>Errors like this should be discovered by the testing process. 
>

Recall this sentiment of an old programmer:

    "Testing only proves the existence of errors, not their absense."

On the other hand, a type checker proves the _absense_ of type errors.


...richie

-- 
* Richie Bielak   (212)-635-4835   |                                          *
* Internet:       richieb@bony.com |     Beware of geeks, bearing GIFs.       *
* Bang {uupsi,uunet}!bony1!richieb |                                          *
*    - Strictly my opinions -      |                                          *
