> But you can add the necessary type declarations to dynamic language to facilitate static type checking if desired. These checks don't influence the build time significantly.

Indeed, type checking is rarely the slowest compilation stage for most languages.