Каковы преимущества и недостатки использования MyPy для статической типизации в Python?