AK
коментарий смысл еще доводит, который не меняется обычно
Size: a a a
2020 September 23
AK
может просто не стоит в коментарии значения переменных прописывать
ИИ
Спеки помогают изучать чужой код. А диалайзер помогает искать ошибки. Имхо экономить на программировании тестировании и документировании это самое тупое что можно придумать в программировании тестировании и документировнии
ИИ
А вот пресловутый "говнокод" мне не доводилось видеть чтобы мешал работать. В любом коде разбираться приходится
AK
resolveip(Hostname) when is_binary(Hostname) ->
case dns_request(Hostname, _Opts = []) of
{ok, Ip} -> Ip;
not_found -> not_found;
{err, {Code, Desc}} -> {err, {Code, Desc}}
end.
AK
вот функция, чем тут поможет спека?
AK
тут еще профит что не надо лезть в функцию dns_request чтобы узнать что он возвращает
PK
вот функция, чем тут поможет спека?
какие могут быть коды ошибок? какой какой ip возвращается v4, v6 или оба? какого тапа Desc строка, бинарь, atom или term?
AK
тащишь важное по смыслу как можно выше в дереве функций и получаешь хорошо читаемый код
AK
так закейси
AK
если ожидаешь оттуда ipv6, тут же и писать {ok_ipv6, Ipv6}
AN
да спеки, имхо, в обязательном порядке нужно для внешних апи делать, когда не понятно, что прилететь может.
История из жизни про диалайзер: Как-то вылезла ошибка вообще невнятная ":0:unknown_type" все. При том CD/CI был настроен так, что с ошибками в мастер не смержиться. Искал, искал, пару дней убил, коллеги тоже искали искали, никто не смог найти в чем косяк. Решили добавить ошибку в .dialyzer.ignore и смержиться в мастер. И что вы думаете? Через полтоора месяца от фронтов приходит бага: на такой-то запрос сервер пятисотит (500 err). Начал разбираться, нашел в конце концов косяк, поправил и вуаля! Ошибка диалайзера ушла. При том бага была в неудачной стечении обстоятельств и внешней либе, которая такое пропускала, хотя 100% не должна была. В следующей мажорной версии либу (Absinthe) переписали и такой код вообще перестал копмилироваться.
В эликсире, а точнее фениксе/экто/абсенте/etc, которые все на макросах, вообще без диалайзера тяжело стает через 10к строк кода. Да и спеки помогают делать код амодокументируемым без комментов в 3 раза больше тела функции.
История из жизни про диалайзер: Как-то вылезла ошибка вообще невнятная ":0:unknown_type" все. При том CD/CI был настроен так, что с ошибками в мастер не смержиться. Искал, искал, пару дней убил, коллеги тоже искали искали, никто не смог найти в чем косяк. Решили добавить ошибку в .dialyzer.ignore и смержиться в мастер. И что вы думаете? Через полтоора месяца от фронтов приходит бага: на такой-то запрос сервер пятисотит (500 err). Начал разбираться, нашел в конце концов косяк, поправил и вуаля! Ошибка диалайзера ушла. При том бага была в неудачной стечении обстоятельств и внешней либе, которая такое пропускала, хотя 100% не должна была. В следующей мажорной версии либу (Absinthe) переписали и такой код вообще перестал копмилироваться.
В эликсире, а точнее фениксе/экто/абсенте/etc, которые все на макросах, вообще без диалайзера тяжело стает через 10к строк кода. Да и спеки помогают делать код амодокументируемым без комментов в 3 раза больше тела функции.
AK
тоесть пока не крешнулось не нашли и диалайзер не помог
AK
помогли бы тесты, но их еще тоже писать надо
AK
так это графкюэл. где клиенты могут как угодно запросы делать?
AN
тоесть пока не крешнулось не нашли и диалайзер не помог
да, гкл. если бы диалайзер чуть повнятнее ошибку дал, то нашли бы. Просто в Absinthe самой внутри спеков мало было тогда
AK
вот еще одно если. общая кривость диалайзера. Был бы он крут прост и надежен..
AN
но все равно он чеще помогает, чем мешает, кмк
V
так можно договориться и до того что тесты не нужны, ибо 100% покрытие кода не спасает :D
AK
но все равно он чеще помогает, чем мешает, кмк
Наверно это самое правильное определение, чаще помогает чем мешает