5 мая тихо и незаметно вышел Mypy 0.4. Mypy — это экспериментальный статический тайпчекер, проверяющий программы на Python 2 или Python 3, аннотированные в соответствии с [ PEP 484 ]( https://www.python.org/dev/peps/pep-0484/ ) . Деятельное участие участие в разработке Mypy принимает Dropbox (в частности, над проектом работает Гвидо ван Россум).Новое в Mypy 0.4: экспериментальная поддержка инкрементальной проверки типов; [ ограничения на типовые переменные ]( http://mypy.readthedocs.io/en/latest/generics.html#type-variables-with-upper-bounds ) ; обновления [ typeshed ]( https://github.com/python/typeshed/ ) .
Ссылка: http://www.linux.org.ru/news/opensource/12583838