Почему важно использовать статическую типизацию в Python с помощью mypy?