Вывод и проверка типов для языка Python в среде PyCharm

Руководитель: Андрей Власовских (PyCharm)

Город стажировки: Санкт-Петербург / Москва

Проект:

IDE PyCharm использует методы статического анализа для поиска ошибок и дополнения кода на динамически типизированном языке Python. Одной из ключевых частей статического анализа является вывод типов. В ходе практики предлагается опробовать и внедрить ряд улучшений в движок вывода типов и инспекции кода PyCharm. Среди возможных улучшений такие как вывод типов коллекций по методам их модификации, вывод типов для Python descriptors, использование аннотаций типов в производных классах. В ходе прохождения практики вы познакомитесь с компанией JetBrains, нашим процессом разработки ПО, узнаете больше о языках программирования и статическом анализе кода.

Требования:
  • знание Java
 
Комментарии:

Плюсами будут знакомстово с компиляторами и интерпретаторами, знание Python, желание в дальшейшем переехать в Санкт-Петербург (для студентов из других городов).

Презентация проекта 25 мая 2016

Результат