D
можно
Size: a a a
2021 March 30
к
В почему это минус?
я один простой проект не смог сбилдить на scaleway, потому что была зависимость от wreq, который зависит от lens, и lens не собирался на том лимите памяти, что был на пятиевровом тарифе
IK
я один простой проект не смог сбилдить на scaleway, потому что была зависимость от wreq, который зависит от lens, и lens не собирался на том лимите памяти, что был на пятиевровом тарифе
В ну это мем
IK
Тоже такая ситуация была
IK
Как хорошо что у никса есть бинарный кеш и о таком переживать не приходится!
[
к
посмотри на тип <# , он вторым аргументом принимает BotM action
к
а ты пытаешься передать IO
[
типа поднимает с типа IO до абстрактного типа MonadIO ?
IK
Заворачивает произвольный IO в твою монаду
к
liftiO лифтить IO a в BotM a
IK
типа поднимает с типа IO до абстрактного типа MonadIO ?
Типо того
JS
типа поднимает с типа IO до абстрактного типа MonadIO ?
не абстрактного, а конкретного, но произвольного
[
ну, абстрактного, который дальнейшим использованием в коде приводится до конкретного
JS
"lift" в данном случае скорее "втянуть", чем "поднять"
к
хм, тогда и pure втягивает значение, а не поднимает до монадного
[
функция возвращает абстрактный m a, а дальнейшее использование возвращённого значения определяет, чем в данном контексте является m
JS
ну, абстрактного, который дальнейшим использованием в коде приводится до конкретного
все методы объявлены в (абстрактных) классах, но при компиляции обязательно должен быть выбран (конкретный) инстанс
IK
хм, тогда и pure втягивает значение, а не поднимает до монадного
А return ничего не возвращает 😱