Dynamic type inference in Ruby

Abstract

Вьюгинов Николай Юрьевич Динамическое выделение типов в Ruby Старший преподаватель кафедры системного программирования Кириленко Яков Александрович Направление математика и механика, кафедра системного программирования Ruby - довольно популярный язык, он удобен и практичен. Обратной стороной такого удобства языка является сложность отладки и поиска ошибок в больших кодовых базах. Анализ кода на Ruby значительно усложняется засчёт некоторых возможностей языка. Даже в динамически типизированных языках программирования информация о типах переменных очень полезна, ведь она позволяет реализовать большее количество статических проверок. В работе описывается новый подход к генерации типовых аннотаций. Предлагается отслеживать непосредственные вызовы метода во время исполнения и генерировать на основе входных и выходных типов контракты, описывающие сигнатуру метода. Использованных источников: 21 Вьюгинов, Н. Ю. Динамическое выделение типов в Ruby: выпускная квалификационная работа: защищена 02.06.2017 / Вьюгинов Николай Юрьевич. – СПб., 2017. – 27 с. – Библиография: с. 26–27.

Viuginov Nickolay Yurievich Dynamic type inference in Ruby senior lecturer, dept. of software engineering Iakov Alexandrovich Kirilenko Mathematics & mechanics, software engineering department Ruby is a fairly popular language, it is convenient and practical. Syntax of Ruby language pays back when it comes to finding bugs in large codebases. Static analysis is hindered by specific capabilities of Ruby. Even in dynamically typed languages, type information is very useful, because of better type safety and more reliable checks. One may annotate the code with YARD (Ruby documentation tool) which also enables improved tooling such as code completion. This paper reports a new approach to type annotations generation. We trace direct method calls while the program is running, evaluate types of input and output variables and use this information to derive implicit type annotations. Sources cited: 21 Viuginov, N.Y. Dynamic type inference in Ruby: Graduation thesis: Defended 02.06.2017 / Viuginov Nickolay Yurievich. – St. Petersburg., 2017. – 27 pp. – Bibliography: pp. 26–27.