The test of whether static typing is useful is pretty simple: Do you ever get type errors when you write code with static types? If you do (and the errors are

The test of whether static typing is useful is pretty simple: Do you ever get type errors when you write code with static types? If you do (and the errors are not spurious), then the static type system is catching real bugs that would have survived for some length of time in a dynamically typed language.