в Klarna есть проект с over 1M строк кода и вот последний месяц-два мы пытаемся диалайзер впилить. Месяц назад добавили правило в CI что нельзя привносить новые ошибки dialyzer. Вот динамика количества dialyzer ошибок в проекте
Полагаю типы относительно простые? Не развесистая клюква с неявными циклическими зависимостями?
да всякое встречается. Просто диалайзер в CI запускается параллельно с другими тестами и другие тесты дольше по времени работают. так что время работы диалайзера не проблема пока что
ну.. примерную оценку того кода что ты видел.. чтобы замерять это заморочиться анализом ast нужно
Ой, ну я из того over 1m строк видел ну может 100-200к . В каких-то otp apps все экспортируемые функции со спеками. В каких-то (особо старых) вообще нет. Не берусь оценивать..