Re: "Strong typing vs. strong testing"

2010-09-27 Thread Scott L. Burson
Pascal J. Bourguignon wrote: On the other hand, with the dynamic typing mindset, you might even wrap your values (of whatever numerical type) in a symbolic expression mentionning the unit and perhaps other meta data, so that when the other module receives it, it may notice (dynamically) that two

Re: "Strong typing vs. strong testing"

2010-09-30 Thread Scott L. Burson
Ian Collins wrote: 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 we all have run time tools called unit tests, don't

Re: "Strong typing vs. strong testing"

2010-09-30 Thread Scott L. Burson
Pascal J. Bourguignon wrote: Squeamizh writes: In short, static typing doesn't solve all conceivable problems. We are all aware that there is no perfect software development process or tool set. I'm interested in minimizing the number of problems I run into during development, and the number