Mypy — это статический анализатор типов для Python, который помогает находить ошибки до запуска кода. Он проверяет соответствие типов, указанных в аннотациях, и выявляет потенциальные проблемы, такие как передача неверного типа в функцию или отсутствие ожидаемого атрибута у объекта. Пример: ``` def greet(name: str) -> str: return f"Hello, {name}" greet(42) # Mypy выдаст ошибку: Argument 1 has incompatible type "int"; expected "str" ``` **Преимущества:** - Раннее обнаружение ошибок - Улучшение читаемости кода - Поддержка сложных типов (Optional, Union и т.д.) - Интеграция с IDE для автодополнения Используется в связке с `typing` для строгой типизации.