5 мая тихо и незаметно вышел Mypy 0.4. Mypy — это экспериментальный статический тайпчекер, проверяющий программы на Python 2 или Python 3, аннотированные в соответствии с PEP 484. Деятельное участие участие в разработке Mypy принимает Dropbox (в частности, над проектом работает Гвидо ван Россум).
Новое в Mypy 0.4:
- экспериментальная поддержка инкрементальной проверки типов;
- ограничения на типовые переменные;
- обновления typeshed.
>>> Подробности
