Mypy Mypy, originally developed at Dropbox to optimize its own internal codebase, was arguably the first static type checking system for Python. Work on it began in 2012, and it’s still under ...