A
А что такое действие?
Наблюдаемый побочный эффект
Size: a a a
2020 July 20
ЗП
(Ко)йонеда, например
ну койонеду функторную/профункторную можно применять для фьюзинга fmap/dimap
AP
А чем, кроме монад можно реализовать последовательность действий в ленивом языке?
Стрелки
JS
последовательность можно и списком задать, сложнее с зависимостью по данным. поэтому монады и стрелки
JS
я в другом смысле
JS
технически, список действий не монадная цепочка
JS
[print 1, print 2] отлично описывает последовательность наблюдаемых побочных эффектов
JS
вот только не любых эффектов
АГ
последовательность можно и списком задать, сложнее с зависимостью по данным. поэтому монады и стрелки
+
JS
ого, говорят, пока я не пользовался IDE, HIE уже умер
JS
HIE умер, да здравствует HLS!
MK
он всё ещё не очень
VB
HLS вроде не валидирует нормально
JS
он всё ещё не очень
они все не очень
MK
в хлс нет хлинта пока
MK
не могу вспомнить что мне ещё не нравилось
JS
они все плохо работают даже на тривиальных проектах
JS
в хлс нет хлинта пока
ну, hlint и отдельно работает
MK
да и гхц отдельно работает, так-то