AR
Я за те несколько лет, что работаю с эликсиром ни разу не ловил в проектах в которых пишутся спеки на всё публичное, чтобы диалайзер не заметил спеку, которая врёт. Потому, наверное, и не задавался вопросом.
ну а у меня вот на второй день
Size: a a a
2020 May 23
AR
И с аргументами сгенерированными из спеки?
нет
AR
у менять есть обычные юнит тесты
.
NB
А откуда брать аргументы?
AR
я хочу проверить что спека, которую я написал соответсвует действительности хотя бы в рамках тестов
.
AR
ну т.е. вот у меня есть функа @spec foo(arg1) :: res. в рамках прогона тестов я хочу чтобы при ее вызовах автоматически проверялись аргументы и возвращаемое значение на соответсвие спеке
.
ŹR
Так это должен быть декоратор на функцию? Или как он должен отличать функции которые ты хочешь проверять от тех, которые не хочешь?
NB
т.е.
assert {:ok, foo} = my_fun("hardcoded", 42, %{bar: 24})
### МАГИЯ:
assert is_binary(foo)NB
оно точно того стоит?
AR
Так это должен быть декоратор на функцию? Или как он должен отличать функции которые ты хочешь проверять от тех, которые не хочешь?
это уже вопрос как профилятор написать
AR
можно профилировать только отдельные функи, модули, только проекта, можно все
AR
т.е.
assert {:ok, foo} = my_fun("hardcoded", 42, %{bar: 24})
### МАГИЯ:
assert is_binary(foo)@spec my_fun(binary, integer, %{bar: integer}) :: {:ok, binary}
AR
сгенерит такой
is_binary(foo)AR
да, стоит
NB
На мой взгляд - нет. Чтобы получить хоть какой-то минимальный уровень уверенности от таких тестов нужно возить его через генератор по диапазону из спеки аргументов и делать 100500 ассертов про то, что на всей области значений аргументов мы соответствуем типу результата. Такое наверняка можно приготовить пропером, но для тестирования в рамках 1 захардкоженного набора аргументов это не нужно, ибо вообще ничего не гарантирует
ŹR
Возможно было бы прикольно если бы так было, но такого нету, а смысла такого делать очень нету
NB
Еще спеки сами по себе не сильно полезны в этом плане. Потому что когда я пишу про инпут String.t() я все равно не имею в виду, что буду хорошо работать с бинарём на полтора гига.
AR
На мой взгляд - нет. Чтобы получить хоть какой-то минимальный уровень уверенности от таких тестов нужно возить его через генератор по диапазону из спеки аргументов и делать 100500 ассертов про то, что на всей области значений аргументов мы соответствуем типу результата. Такое наверняка можно приготовить пропером, но для тестирования в рамках 1 захардкоженного набора аргументов это не нужно, ибо вообще ничего не гарантирует
тайпспеки сами тоже ничего не гарантируют, и?
NB
Именно, поэтому мы не пытаемся заставить их что-то гарантировать в большей мере, чем это может диалайзер
AR
такие валидации смогут поймать то, что не смог поймать диалайзер, при том бесплатно для разработчика