mypy

TLDR

Type check file

$ mypy [script.py]

Type check directory

$ mypy [src/]

Strict mode

$ mypy --strict [script.py]

Ignore missing imports

$ mypy --ignore-missing-imports [script.py]

Show error codes

$ mypy --show-error-codes [script.py]

Check specific Python version

$ mypy --python-version [3.10] [script.py]

Generate HTML report

$ mypy --html-report [report/] [script.py]

SYNOPSIS

mypy [options] files

DESCRIPTION

mypy is a static type checker for Python. It validates type annotations.
The tool catches type errors before runtime. Supports gradual typing adoption.
mypy is Python type checker.

PARAMETERS

FILES

Python files to check.

--strict

Enable strict checking.

--ignore-missing-imports

Skip untyped modules.

--show-error-codes

Display error codes.

--python-version VER

Target Python version.

--help

Display help information.

CAVEATS

Requires type annotations. Third-party stubs may be needed. Optional strict mode.

HISTORY

mypy was created by Jukka Lehtosalo and is developed at Dropbox as the premier Python type checker.