วโ
Да, не обязательно банальное несоответствие типов размазывать на 14 строк, 7 из которых пустые
несоответствие типов и кода это как раз про диалайзер
Size: a a a
2020 September 23
AB
дебилизации отрасли?
такой баланс между понятностью и компактностью можно выбрать, только если ориентируешься на полных дегенератов.
PG
несоответствие типов и кода это как раз про диалайзер
У него как раз все нормально с форматом вывода ошибок
AB
несоответствие типов и кода это как раз про диалайзер
даже не так
Dialyzer is not a typesystem. It's a discrepancy analyzer which aims to prove the presence of runtime crashes. It avoids false positives.วโ
У него как раз все нормально с форматом вывода ошибок
при чём здесь формат ошибок, если разговор про тайпсейф
วโ
у меня компилируется приложение, если моя спека к функции не соответствует входным и выходным типам?
PG
при чём здесь формат ошибок, если разговор про тайпсейф
Разговор не про тайпсейф
วโ
Разговор не про тайпсейф
про дибилизацию отрасли путём внедрения тайпчекера, который проверяет ошибки
AB
про дибилизацию отрасли путём внедрения тайпчекера, который проверяет ошибки
нет, разговор про "на кого ориентируется фб"
วโ
при найме к себе в штат?
AB
ну или там не сам фб, а авторы их тула, тут не важно
วโ
я не понял из того скриншота, почему они ориентируются на дебилов
วโ
там привели пример глупой ошибки
AK
И вообще замучили типизацией.. матчите да и все. Язык то динамический. Или в rust идите
AK
лучше бы множественные таймауты добавили в генсервер
AK
и чтобы бинарные строки как нибудь лаконичнее записывать
AB
я не понял из того скриншота, почему они ориентируются на дебилов
потому что ошибку так разжевывать нужно только дебилам?
AK
и к стактрейсу как нибудь прибить гвоздями с самого верха имя файла и номер строки где он возник
วโ
потому что ошибку так разжевывать нужно только дебилам?
ну да, bad arg, wrong arg БЕЗ НИЧЕГО то для умных придумали