"Strong typing vs. strong testing"

[Seebs]

On 2010-09-30, Ian Collins <ian-news at hotmail.com> wrote:
> Which is why agile practices such as TDD have an edge.  If it compiles 
> *and* passes all its tests, it must be right.

So far as I know, that actually just means that the test suite is
insufficient.  :)

Based on my experience thus far, anyway, I am pretty sure it's essentially
not what happens that the tests and code are both correct, and it is usually
the case either that the tests fail or that there are not enough tests.

-s
-- 
Copyright 2010, all wrongs reversed.  Peter Seebach / usenet-nospam at seebs.net
http://www.seebs.net/log/ <-- lawsuits, religion, and funny pictures
http://en.wikipedia.org/wiki/Fair_Game_(Scientology) <-- get educated!
I am not speaking for my employer, although they do rent some of my opinions.