KV
Dmitry Dugin
понял. а про ракеты это типо мем в фп сообществе?
Да. Запуск ракет — неожиданный и нежелательный эффект вычисления функции
Size: a a a
2021 February 11
KV
Эффект в смысле IO. А не то, что память там скушалась
DS
Dmitry Dugin
можно ли сказать что монады в хаскеле это способ борьбы с нечистотой ввода-вывода?
Монады оказались пригодны и удобны для IO, но монады полезны сами по себе. С "чистотой" есть та проблема, что у нее, как минимум, две распространенные интерпретации. И не все всегда понимают, какая именно имеется в виду. Поэтому лучше акцентировать внимание на "ссылочную прозрачность".
DD
Монады оказались пригодны и удобны для IO, но монады полезны сами по себе. С "чистотой" есть та проблема, что у нее, как минимум, две распространенные интерпретации. И не все всегда понимают, какая именно имеется в виду. Поэтому лучше акцентировать внимание на "ссылочную прозрачность".
ок
ЗП
кто-то настраивал hls с submodules?
MK
If TARGET is a library, it will be added to the global environment. When doing this, cabal will try to build a plan that includes all the previously installed libraries. This is currently not implemented.
ЗП
то есть, если у меня есть сабмодули в гите, я не смогу нормально использовать hls?
DI
у ghc есть сабмодули
DI
есть люди, у которых hls работает на ghc
AP
"Есть люди, у которых работает hls"
ЗП
Dmitry Ivanov
есть люди, у которых hls работает на ghc
пример? у меня все на стеке
DI
пример людей? Пикеринг
DI
примера проекта со стеком, субмодулями и hls я не знаю
DI
и непонятно, как вообще субмодули должны влиять, ну лежат файлы и лежат
AP
может потребоваться ручное написание hie.yaml, но по идее проблем быть не должно
AP
Обычный multi-cradle project
MK
+++
ЗП
Обычный multi-cradle project
но где хоть один пример такого файла?
YS
есть же генерилка