The blind faith people have in tests is ridiculous You still need the same amount of types regardless of the testing framework. Tests cannot eliminate entire classes of errors, but static types can! Why is this a debate even?