JS
это почти как композиция, только с эффектом
а под определённым углом (в катеории Кляйсли) это и есть композиция
m.а под определённым углом (в катеории Кляйсли) это и есть композиция
Size: a a a
2021 January 09
A
ага
A
я пытался через >>=, но оно не цепляло аргумент
JS
f >=> g = \x -> f x >>= gA
ага
AP
есть какое-нибудь готовое EitherBoth a b -> Left a | Right b | Both (a,b)?
these
AP
(не читал тред, но теперь увидел, что уже было)
JS
f >=> g = \x -> f x >>= gесли я ничего не путаю, обратно
ma >>= g = const ma >=> g $ ()A
а еще вот если у меня f :: a -> m a, то как наиболее идиоматично записать f >=> f, f >=> f >=> f и прочее подобное?
A
вижу iterateM, но оно не в base
A
foldr (>=>) pure . take n . repeat
JS
повторить именно заданное число раз?
A
угу
A
ну то есть один аргумент это сколько раз, второй это что повтрить
JS
foldr (>=>) pure . replicate nA
о
JS
можно
foldr1 (>=>) . replicate n, если есть гарантия, что n > 0A
ага. Так, очередной затык. Как аналогичным образом сделать "паралелльно".
A
то есть из replicate n myMonad получить m [a]
A
вроде как sequence