How to write four million lines of Python ... one of which is using a static type checker. A type checker like mypy allows developers to spot a class of bugs that could otherwise slip through ...