program surgery vs. type safety

[Gonçalo Rodrigues]

On 14 Nov 2003 04:17:08 -0800, tweedgeezer at hotmail.com (Jeremy
Fincher) wrote:

[text snipped]

>
>The main point, however, you made yourself: tests can only show the
>*presence* of errors, whereas static typing can prove their absence.
>

Huh? Surely you mean proving the absence of *type errors*. And on the
total amount of errors how many are type errors? Many people on this
ng have argued based on their experience that type errors are a tiny
fraction of the errors found in programs.

With my best regards,
G. Rodrigues