А я вот, о чем подумал. Почему все, кому не лень, пытаются натянуть на beam какую-нибудь номинальную типизацию, когда родной для неё является структурная?
Или вот, почему почти никто не смотрит дальше убогого диалайзера, который вообще не очень-то про типы, он более широкого профиля. Много тут людей, знающих о существовании gradualizer, скажем? А использующих его сколько?
что диалайзер что градуалайзер на чисто моём опыте и моих приложениях в 8/10 случаев ошибаются на ровных местах(даже в чистых функциях) с парой веток кейса
в паре случаев помогают, из них один— уточнить тип и один баг
буквально сегодня час трахался с очередным кейсом, из которого всего лишь {:error, String.t()} | {:ok, map()} или что-то в этом духе возвращалось, а он этого в упор не видел
ещё +1 nowarn_function в проект
градуалайзер этот случай спокойно схавал, но бреда в его аутпуте тоже куча