Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!usc!rutgers!cmcl2!kramden.acf.nyu.edu!brnstnd
From: brnstnd@kramden.acf.nyu.edu (Dan Bernstein)
Newsgroups: comp.lang.misc
Subject: Re: Run-time Type Errors in Smalltalk
Message-ID: <8189:Apr1719:16:2091@kramden.acf.nyu.edu>
Date: 17 Apr 91 19:16:20 GMT
References: <2023@optima.cs.arizona.edu>
Organization: IR
Lines: 16

In article <2023@optima.cs.arizona.edu> gudeman@cs.arizona.edu (David Gudeman) writes:
> And the errors that can be caught by static type checking are almost
> universally so trivial that they probably all _would_ be caught by
> testing.

Goofus uses dynamic typing. Gallant uses static typing.

Goofus says static typing catches so few errors that they probably all
_would_ be caught by testing. Gallant simply catches all the errors.

Goofus finds 95% of the typing bugs during testing. Gallant finds 100%.

Management fires Goofus.

---Dan
P.S. 1/2 :-) for the humor-impaired.