Re: Static vs. Dynamic typing (big advantage or not)---WAS: c.programming: OOP and memory management

From: Thomas Gagne (tgagne_at_wide-open-west.com)
Date: 07/23/04 

Date: Fri, 23 Jul 2004 09:58:02 -0400

Gerry Quinn wrote:
> In article <WaKdneXN0JpV953cRVn-jA@wideopenwest.com>, tgagne@wide-open-
> west.com says...
>
>>I must live in a vacuum. I can't imagine how one of my methods would be
>>passed an object that wasn't intended in production. Probably because the
>>code that calls the method was also in testing? Objects don't accidentally
>>appear in the wrong places. Cat's don't accidentally show up in collections
>>of Dog objects unless put there deliberately.
>
>
> No bug appears unless put there 'deliberately', in some sense. Unless,
> as you say, you live in a vacuum.
>

The point being, static typing doesn't catch bugs, it catches typing errors,
so its usage doesn't /prove/ a program is bug-free or correct. Only testing
can approach any approximation of /proof/ a program works under a tested set
of circumstances.

Relevant Pages