AR
ну или можно с другой стороны зайти: а есть интеграции в документацию для propcheck? чтоб фигась, и как @spec / @type красивенько в доках появилось
Size: a a a
2020 May 23
PG
А как это можно сделать? Ты получается должен запустить функцию на всей области определения и потом проверить всю ее область значений
Или проанализировать функцию и попытаться подобрать контрпримеры на основе её тела
AR
А как это можно сделать? Ты получается должен запустить функцию на всей области определения и потом проверить всю ее область значений
ну этим property checking занимается, мне бы в целом было бы достаточно просто запускать валидатор в рамках тестов что у меня есть (и лучше — автоматически)
NB
https://hexdocs.pm/elixir/Atom.html#to_string/1 Так как есть в доках не достаточно красиво?
NB
сорян, просмотрел про propcheck. коммент не в кассу
ŹR
Или проанализировать функцию и попытаться подобрать контрпримеры на основе её тела
Так делает диалайзер, но для этого по хорошему нужна типизация постатичнее чем в эликсире
AR
ну т.е. вот у меня есть функа @spec foo(arg1) :: res. в рамках прогона тестов я хочу чтобы при ее вызовах автоматически проверялись аргументы и возвращаемое значение на соответсвие спеке
ŹR
ну т.е. вот у меня есть функа @spec foo(arg1) :: res. в рамках прогона тестов я хочу чтобы при ее вызовах автоматически проверялись аргументы и возвращаемое значение на соответсвие спеке
Есть какие то проекты с prop tests, но я никогда не понимал их необходимость
AR
Так делает диалайзер, но для этого по хорошему нужна типизация постатичнее чем в эликсире
ну вот мне не нужно постатичнее, нужен просто генератор валидаторов из спеков + профилирование кода в рамках прогона тестов
AR
Есть какие то проекты с prop tests, но я никогда не понимал их необходимость
prop tests это другое, я не хочу генераторы генерить
AR
у менять есть обычные юнит тесты
AR
я хочу проверить что спека, которую я написал соответсвует действительности хотя бы в рамках тестов
AR
никто не сделал такого?
NB
Я за те несколько лет, что работаю с эликсиром ни разу не ловил в проектах в которых пишутся спеки на всё публичное, чтобы диалайзер не заметил спеку, которая врёт. Потому, наверное, и не задавался вопросом.
ŹR
я хочу проверить что спека, которую я написал соответсвует действительности хотя бы в рамках тестов
Ты имеешь ввиду что аргументы которые передаёшь в тесте соответствуют спеке? Это проверяет диалайзер
AR
Ты имеешь ввиду что аргументы которые передаёшь в тесте соответствуют спеке? Это проверяет диалайзер
диалайзер проверяет только то, что он может проверить статически, а проверить он конечно может до фига не все
ŹR
Тогда я не понимаю что именно ты хочешь
AR
проверять значения в рантайме! )
AR
с валидатором сгенеренным из спеки
NB
И с аргументами сгенерированными из спеки?