"Strong typing vs. strong testing"

[Nick]

Ian Collins <ian-news at hotmail.com> writes:

> On 09/30/10 05:57 PM, RG wrote:
>>
>> I'm not saying one should not use compile-time tools, only that one
>> should not rely on them.  "Compiling without errors" is not -- and
>> cannot ever be -- be a synonym for "bug-free."
>
> We is why wee all have run time tools called unit tests, don't we?

But you have to know a lot about the language to know that there's a
problem.  You cannot sensibly test your max function on every
combination of (even int) input which it's designed for (and, of course,
it works for those).
-- 
Online waterways route planner            | http://canalplan.eu
Plan trips, see photos, check facilities  | http://canalplan.org.uk