Телеграмм чат группы haskell

Size: a a a

Haskell Start

2021 January 16

foldrM :: Monad m => (a -> b -> m b) -> b -> [a] -> m b
foldrM f z = foldr (\a b -> b >>= \b' -> f a b') (pure z)

foldrM' :: Monad m => (a -> b -> m b) -> b -> [a] -> m b
foldrM' f z [] = pure z
foldrM' f z (a : xs) = do
b <- foldrM' f z xs
f a b

источник

03:18пожаловаться #1

2021 January 17

Aragaer in Haskell Start

Вчера осознал, что State World [a], [State World a] и StateT World [] a это три разные вещи 8)

источник

15:58пожаловаться #2

Aleksei (astynax) Pi... in Haskell Start

Э.. тут вообще общего нет ничего

источник

16:10пожаловаться #3

Aleksei (astynax) Pi... in Haskell Start

Я бы ещё понял сравнение ListT State a и StateT [] a

источник

16:11пожаловаться #4

Aleksei (astynax) Pi... in Haskell Start

State World [a] ~

State World a

тут нет второго слоя

источник

16:11пожаловаться #5

Aleksei (astynax) Pi... in Haskell Start

[State World a] ~

[a]

тут тоже

источник

16:12пожаловаться #6

Aleksei (astynax) Pi... in Haskell Start

То есть той композиции эффектов, которую дают трансформеры, нет. Есть ручной plumbing

источник

16:13пожаловаться #7

Aleksei (astynax) Pi... in Haskell Start

(Кстати, в "All about monads" через такой ручной способ обработки второго слоя и подводят к трансформерам, как к более удобному способу вкладывать один эффект во второй)

источник

16:15пожаловаться #8

Aragaer in Haskell Start

ага. Ну вот я сейчас делаю такое:

newtype Actions a = Actions{runActions::StateT World [] a}

instance Monad Actions where
  (Actions xs) >>= k = Actions . StateT $ nubBy (sameWorld `on` snd) . runWorld
    where runWorld = runStateT $ do
            x <- xs
            runActions $ k x

источник

16:16пожаловаться #9

Aragaer in Haskell Start

собссно ради этого nubBy и затевается

источник

16:17пожаловаться #10

кана in Haskell Start

не очень понимаю такой код

источник

16:17пожаловаться #11

Aleksei (astynax) Pi... in Haskell Start

Э... зачем инстанс писать руками?