[
функция возвращает абстрактный m a, а дальнейшее использование возвращённого значения определяет, чем в данном контексте является m
ну, я понимаю обобщение до класса вот так
Size: a a a
2021 March 30
IK
функция возвращает абстрактный m a, а дальнейшее использование возвращённого значения определяет, чем в данном контексте является m
Да, так тоже можно смотреть
IK
Ты будешь получать выражение типа forall m. MonadIO m => m a
IK
Ты будешь получать выражение типа forall m. MonadIO m => m a
И потом ты его будешь засовывать в какую-то m
[
ага, а возвращаемое значение заблаговременно скидыается на регистры (или ещё куда в зависимости от реализации)
[
Ты будешь получать выражение типа forall m. MonadIO m => m a
вот я так и понимаю. Т.е. forall это же for all, да? Образуется стандартное математическое правило "для любых m, которые принадлежат классу типов MonadIO возвращается m a"
IK
вот я так и понимаю. Т.е. forall это же for all, да? Образуется стандартное математическое правило "для любых m, которые принадлежат классу типов MonadIO возвращается m a"
Да
P
Ребят, привет всем, а я добавил в проект - happstack-server dependency, и при попытке билда получаю не понятные ошибки, которые как-то не гуглятся...
Кто-то может подсказать, как их пофиксить?
Кто-то может подсказать, как их пофиксить?
IK
Скорее всего какие-то конфликты между версиями библиотек
IK
Как чинить — зависит от того как ты ставил зависимости и как ты компилируешь программу
P
dependencies:
- base >= 4.7 && < 5
- happstack-server
Так там всего две зависимости
- base >= 4.7 && < 5
- happstack-server
Так там всего две зависимости
P
Как чинить — зависит от того как ты ставил зависимости и как ты компилируешь программу
stack build
IK
А stack.yaml есть?
P
IK
Что там?
P
+- пустой
IK
В конкретнее?
P
ну комментарии и вот это