[ReflectedImage]

As a general rule of thumb, once you have proper tests, static typing doesn't find very much, if anything.

[ndriscoll]

I've generally found the complement to be true as well: once you have decent type modeling, tests don't find very much, if anything. I've primarily only seen modeling done well in Scala though.