Сборники трудов ИСП РАН


Вывод типов для языка Python.

И.Е. Бронштейн.

Аннотация

Тема статьи — вывод типов для программного кода на языке Python. Сначала производится обзор описанных в научной литературе алгоритмов вывода типов для языков с параметрическим полиморфизмом. Затем даётся описание нового алгоритма, являющегося модификацией одного из предыдущих: алгоритма декартова произведения. Показывается, как модуль вывода типов, использующий новый алгоритм, анализирует различные конструкции языка Python. Представляются результаты работы над прототипом.

Ключевые слова

python; вывод типов; динамическая типизация данных; статический анализ; обнаружение дефектов

Издание

Труды Института системного программирования РАН, том 24, 2013, стр. 161-190.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2013-24-9

Полный текст статьи в формате pdf Вернуться к содержанию тома