Will static typing make my programs run faster?

Mypy only does static type checking and it does not improveperformance. It has a minimal performance impact. In the future, therecould be other tools that can compile statically typed mypy code to Cmodules or to efficient JVM bytecode, for example, but this is outsidethe scope of the mypy project.