Mypy is an optional static type checker for Python that combines compile-time type checking with...