python-mypy: python-mypy (Optional static typing for Python) python-mypy: python-mypy: Add type annotations to your Python programs, and use mypy to type python-mypy: check them. Mypy is essentially a Python linter on steroids, and it python-mypy: can catch many programming errors by analyzing your program, without python-mypy: actually having to run it. Mypy has a powerful type system with python-mypy: features such as type inference, gradual typing, generics and union python-mypy: types. python-mypy: python-mypy: python-mypy: