This is my experience with statically typed languages. It may be a bit more verbose in the implementation, but it takes much less time to reach a correct solution.

I find that whatever "savings" there are in terms of code volume in dynamically typed languages is usually more than made up for in the need for more tests.