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