LL
как проверить что typespec написан корректно, правильный тип аргументов и результата функции
Используй диалайзер
Size: a a a
2020 April 23
RS
dialyzer советует некоторые вещи
RS
vscode ещё и прямо в коде подсказывает где вставить, но это все тот же диализер
LL
Так делает любой language server...
VK
dialyzer использую, а если без него? ну т.е. чтобы dialyzer сработал надо ведь весь проект скомпилировать
RS
один раз да, затем он только изменённые файлы компилирует
LL
dialyzer использую, а если без него? ну т.е. чтобы dialyzer сработал надо ведь весь проект скомпилировать
Ну, ты можешь сам лично проверить тайпспеки
А так, не вижу ничего плохого в компиляции проекта - рано или поздно придётся это сделать)))
А так, не вижу ничего плохого в компиляции проекта - рано или поздно придётся это сделать)))
RS
в vscode он на лету это делает при сохранении файла, я не агитирую, просто к тому, что dialyzer довольно шустрый
VK
> Ну, ты можешь сам лично проверить тайпспеки
так и надо, но не тайпспеки, а только один тайпспек (сложный) для одной функции
так и надо, но не тайпспеки, а только один тайпспек (сложный) для одной функции
RS
тогда делай свой тайп
VK
тогда делай свой тайп
это не поможет в его проверке, правильно ли написан
LL
> Ну, ты можешь сам лично проверить тайпспеки
так и надо, но не тайпспеки, а только один тайпспек (сложный) для одной функции
так и надо, но не тайпспеки, а только один тайпспек (сложный) для одной функции
А почему ты не хочешь компилировать проект? Это обычно не занимает больше 2 минут и делается один раз
RS
Так ничего не поможет, диализер это только рекомендации
RS
язык не типизирован, по этому все на твое усмотрение, сложные типы довольно абстрактны
VK
Так ничего не поможет, диализер это только рекомендации
непроверяемые рекомендации без диалайзера?
VK
язык не типизирован, по этому все на твое усмотрение, сложные типы довольно абстрактны
поэтому у меня есть пара значений как вызвать функцию и что должно получиться
LL
поэтому у меня есть пара значений как вызвать функцию и что должно получиться
Это называется тестирование
RS
ну сам смотри, если используются встроенные типы и обычные предсказуемые операции над ними, то диалайзер правильно подскажет, но если у тебя какая структура получается в результате каких-то действий, то тут никто не подскажет тебе, что должно вернуться, для этого и пешется свой тип
RS
и тесты, как верно подмечено
VK
Это называется тестирование
вот тайпспек бы протестировать