At the expense of having to write more tests that a type system could have solved at compile time, and likely catch more runtime logic bugs as well. For the re

At the expense of having to write more tests that a type system could have solved at compile time, and likely catch more runtime logic bugs as well. For the record I am a convert. Types have made my developer life much happier, especially working with unfamiliar code across multiple projects/teams. When you treat your builds as long term proofs your confidence level increases dramatically.