It turns out that strong typing does not eliminate the need for careful testing. And I have found in my work that the sorts of errors that strong type checking finds are no the errors I worry about.
Douglas CrockfordThe structure of software systems tend to reflect the structure of the organization that produce them.
Douglas Crockford