A type checker like mypy allows developers to spot a class of bugs ... dynamic language like Python long before hitting millions of lines of code, he adds. “Once your project is tens of ...