static typing is unittesting

I'm surprised when people advocate unittests while disliking static typing. From pythonforum:

IMHO it helps to think about static typing as a special kind of unit tests. Like unit tests, they verify that for some input values, the function in question will produce the correct output values.