Был ли у вас опыт работы с MyPy как статическим анализатором типов?