Static type checking takes a long longer developer time wise and does a much worse job than unit tests.