[m0skit0]

Then I guess you chose the wrong side. Dynamically-typed languages produce less code precisely because you don't need to specify the types. E.g. Scala is more verbose than Clojure.

[justthistime_]

I'm not sure that Scala code + types is more verbose than Clojure code + tests. (Which is what the OP argued.)

[m0skit0]

You need tests everywhere, statically typed doesn't mean you don't need to test.