I've come to believe that "statically typed" is too large a category to be useful in types-vs-tests discussions. Type system expressiveness varies enormously by

I've come to believe that "statically typed" is too large a category to be useful in types-vs-tests discussions. Type system expressiveness varies enormously by language. Better just to ask "what language, specifically?".