JS
для небольшого поделия, кстати, есть клёвый
ghcid --allow-eval и --test=myfunSize: a a a
2021 November 29
JS
было бы здорово, если бы таким инструментам была посвящена глава в какой-нибудь книжке
JS
в учебных языках тесты прямо в язык встроены, их можно прямо в коде писать
JS
D и Rust не учебные, а у них тоже такое есть
JS
JS
питонистам должно быть знакомо
AP
Всегда можно написать
main = print (f 0 == 42)
и запускать через GHCId точно так жеAP
И смотреть, True выведет или False
AP
В первом приближении этого должно хватить
FL
Не знаю что я делал не так, но в моём случае помогла только ручная установка и прописывание путей
И
я вот о таком не знал например :)
И
Вот нашел у себя в launch.json конфиг для запуска дебага для рандомного hs файла из папки.
https://pastebin.com/p7Wyufdw
Для этого в системе должен стоять
Далее ставим брейкпоинт в нужной функции, делаем вызов этой функции внутри
https://pastebin.com/p7Wyufdw
Для этого в системе должен стоять
ghci-dap, если его нет, то делаем cabal install ghci-dapДалее ставим брейкпоинт в нужной функции, делаем вызов этой функции внутри
main и жмем F5E
И
100 секунд? че так много?
E
Формат такой, но кажется можно было хотя бы тайпклассы упомянуть, может будет "...in 100 seconds and beyond"
v
Привет, подскажите пожалуйста, в видео по лябда исчеслению множество обозначали как FV(T), если FV это имя множества, что значит T?
AP
FV(T) это множество свободных переменных терма Т. Можно думать о FV как функции, которая по заданному терму вычисляет/возвращает множество его (этого терма) свободных переменных.
2021 November 30
v
Спасибо
E
Привет, а что разве id /= mempty?
[
Т.е.