Size: a a a

2021 January 09

JS

Jerzy Syrowiecki in Haskell Start
это почти как композиция, только с эффектом m.

а под определённым углом (в катеории Кляйсли) это и есть композиция
источник

A

Aragaer in Haskell Start
ага
источник

A

Aragaer in Haskell Start
я пытался через >>=, но оно не цепляло аргумент
источник

JS

Jerzy Syrowiecki in Haskell Start
f >=> g = \x -> f x >>= g
источник

A

Aragaer in Haskell Start
ага
источник

AP

Aleksei (astynax) Pi... in Haskell Start
Aragaer
есть какое-нибудь готовое EitherBoth a b -> Left a | Right b | Both (a,b)?
these
источник

AP

Aleksei (astynax) Pi... in Haskell Start
(не читал тред, но теперь увидел, что уже было)
источник

JS

Jerzy Syrowiecki in Haskell Start
Jerzy Syrowiecki
f >=> g = \x -> f x >>= g
если я ничего не путаю, обратно
ma >>= g = const ma >=> g $ ()
источник

A

Aragaer in Haskell Start
а еще вот если у меня f :: a -> m a, то как наиболее идиоматично записать f >=> f, f >=> f >=> f и прочее подобное?
источник

A

Aragaer in Haskell Start
вижу iterateM, но оно не в base
источник

A

Aragaer in Haskell Start
foldr (>=>) pure . take n . repeat
источник

JS

Jerzy Syrowiecki in Haskell Start
повторить именно заданное число раз?
источник

A

Aragaer in Haskell Start
угу
источник

A

Aragaer in Haskell Start
ну то есть один аргумент это сколько раз, второй это что повтрить
источник

JS

Jerzy Syrowiecki in Haskell Start
foldr (>=>) pure . replicate n
источник

A

Aragaer in Haskell Start
о
источник

JS

Jerzy Syrowiecki in Haskell Start
можно foldr1 (>=>) . replicate n, если есть гарантия, что n > 0
источник

A

Aragaer in Haskell Start
ага. Так, очередной затык. Как аналогичным образом сделать "паралелльно".
источник

A

Aragaer in Haskell Start
то есть из replicate n myMonad получить m [a]
источник

A

Aragaer in Haskell Start
вроде как sequence
источник