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!europa.eng.gtefsd.com!gatech!howland.reston.ans.net!cs.utexas.edu!uunet!psinntp!bony1!richieb
From: richieb@bony1.bony.com (Richard Bielak)
Subject: Re: Static vs Dynamic Typing: Effects on Productivity?
Message-ID: <CvEow0.54r@bony1.bony.com>
Organization: We don't need no stinkin' Organization!
References: <DERWAY.94Aug23180251@alumni.ndc.com> <1994Aug25.172702.4984@rcmcon.com> <mikec.21.000B26F7@metronet.com> <CvEFLs.3vz@bony1.bony.com>
Date: Wed, 31 Aug 1994 15:40:47 GMT
Lines: 24
Xref: glinda.oz.cs.cmu.edu comp.software-eng:25275 comp.object:19949 comp.lang.eiffel:6254 comp.lang.smalltalk:16098 comp.lang.modula3:2931 comp.lang.objective-c:3001

In article <CvEFLs.3vz@bony1.bony.com> richieb@bony1.bony.com (Richard Bielak) writes:

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

Clearly I need to use a spelling checker prove _absence_ of spelling
errors!

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