“Programs written in dynamically typed languages require large suites of tests to give some assurance that simple type errors cannot occur.”