I used to think gradual type systems (mypy, flow, typed racket) were the sweet spot. They're super-powered linters that help with refactoring, but you can run the code at any point.
In a statically typed PL, you need the whole codebase to be well typed before you can run tests.