Also, you're wrongly assuming that static typing and test suites have equivalent w.r.t. the stuff they check. They are not.