mypy отличается от стандартной системы типов Python тем, что обеспечивает статическую проверку типов. 14 Он проверяет аннотированный код и выдаёт предупреждения, если аннотированные типы используются непоследовательно. 3

mypy поставляется с typeshed, который содержит внешние аннотации типов для стандартной библиотеки Python, встроенных модулей Python, а также пакетов сторонних разработчиков. 1

В то же время стандартная система типов Python позволяет разработчикам аннотировать ожидаемые типы для переменных, параметров функций и результатов функций внутри кода Python. 2 Такие типы не навязываются интерпретатором Python, так как язык динамически типизированный. 2

Таким образом, mypy дополняет стандартную систему типов, обеспечивая более глубокую и тщательную проверку корректности используемых типов. 34