Using mypy means that you can write and run Python in the normal way, gradually adding static type checking over time and checking it outside your program's execution.