> What about a language where for any given bit of code, the dynamicness is only a phase of compilation?

This is (essentially) Crystal lang's type system. You end up with semantic analysis/compilation taking a significant amount of time, longer than other comparable languages, and using a lot of resources to do so.