Поиск ошибок в программах на языке Ruby с использованием вывода типов Санкт-Пете Программы для анализа проекта