AK
Size: a a a
2018 September 06
AK
А комонады?
к
а что комонады? Как интерфейс для эффектфул апдейта я их не вижу
к
комонады у меня ассоциируются больше с чтением из энвайронмента
к
ну и ленивость в голове еще чет висит
к
нужно когда-нибудь про них прочитат
ЗП
апдейтер обязан быть монадичным, типа
все эти бизнес-скрипты запускаются параллельно. Там в основе те же автоматы (через них идут генераторы, которые уже служат основой для императивности), но монадичность позволяет делать сложные сценарии БЕЗ промежуточный стейтов (точнее они есть, но генерируются автоматически, мы их в коде не видим)
при этом промежуточные стейты в такой реализации все еще доступны (как и раньше, вручную), то есть это решение строго больше
редакс-саги в этом плане концептуально мне нравятся, не нравятся реализацией
на стримах с ду-нотацией наверняка тоже что-то делали подобное
someLogic = do
-- or takeLatest for resetting scenario state
a <- awaitAction Action1
try $ makeRequest
path1 . in . state .= a
b <- awaitAction Action2
path2 . in . state %= succвсе эти бизнес-скрипты запускаются параллельно. Там в основе те же автоматы (через них идут генераторы, которые уже служат основой для императивности), но монадичность позволяет делать сложные сценарии БЕЗ промежуточный стейтов (точнее они есть, но генерируются автоматически, мы их в коде не видим)
при этом промежуточные стейты в такой реализации все еще доступны (как и раньше, вручную), то есть это решение строго больше
редакс-саги в этом плане концептуально мне нравятся, не нравятся реализацией
на стримах с ду-нотацией наверняка тоже что-то делали подобное
в ангуляре ок идея в ngrx помимо чистых трансформаторов, есть еще эффекты
AK
https://arthurxavierx.github.io/RealWorldAppComonadicUI.pdf Тут вроде бы есть про комонады и трансформеры во второй части пейпера, но не пробовал ещё на практике
VY
Day convolution...
я вообще пока не знаю что это такое, что-то сложное
я вообще пока не знаю что это такое, что-то сложное
AK
Я тоже не то чтобы до конца понял
AK
Но часто его встречаю, пора уже
к
что же блин такое этот дэй конволюшон
к
выглядит как свободный гетерогенный аппликатив
к
или как обобщение lax monoidal functor
ЗП
грубо говоря да, это свободный аппликатив
к
runDay :: Applicative f => Day f f a -> f a
runDay (Day h a b) = liftA2 h a b
Вл
что же блин такое этот дэй конволюшон
Лол. День конволюций
VY
короче я уже ничего не соображаю походу, вот если есть что-то такое