Дано: GetB :: IO b getCS :: a -> b -> IO

Question

Дано: GetB :: IO b getCS :: a -> b -> IO

[c]

Хочу собрать результаты нескольких getCS. Вот так у меня получилось:
main0 :: IO [c]
main0 = do
b' <- getB
getCS 4 b' <> getCS 5 b'

Или так:
main1 :: IO [c]
main1 = do
b' <- getB
mconcat <$> sequence [getCS 4 b', getCS 5 b']

Но хочется без do и не таскать b' за собой. Если getCS две штуки, то у меня получилось:
main2 :: IO [c]
main2 = (<>) <$> getCS 4 <*> getCS 5 =<< getB

Как сделать то же самое, для неограниченного количества getCS?

#haskell #programming #russian

0

07.01.2022

6 ответов

22 просмотра

Cheese Syrowiecki

нет ли ощущения, что без do и b' получается хуже?

0

07.01.2022

Ilia Zemskov Автор вопроса

Cheese Syrowiecki
нет ли ощущения, что без do и b' получается хуже?

Смотря какая цель. Возможно и хуже, если нужно, чтобы код быстрее и легче понимался большим числом людей. Но у меня пока задача исключительно понять/обучиться/разобраться. С

0

07.01.2022

Ilia Zemskov Автор вопроса

С другой стороны, вот это, кажется, со всех сторон не хуже: main4 = getB >>= getCS 4 <> getCS 5 <> getCS 6

0

07.01.2022

Михаил

Ilia Zemskov
С другой стороны, вот это, кажется, со всех сторон...

Это почти же самое, ведь mconcat = foldr (<>) mempty. Можно было бы писать sconcat [getCS 4, getCS 5, getCS 6], не забыв, правда, добавить OverloadedLists.

0

07.01.2022

Ilia Zemskov Автор вопроса

Михаил
Это почти же самое, ведь mconcat = foldr (<>) memp...

Ну да, я как понял, что mconcat «справится со всеми вынесениями», понял, что значит и <> справится со всеми вынесениями и вернулся фактически к самому первому своему варианту с do, но без do). И мне понравилось. Спасибо!

0

07.01.2022

Zygohistomorphic Prepromorphism🇺🇦 · Accepted Answer

Zygohistomorphic Prepromorphism🇺🇦

попробуй main1 :: IO [c] main1 = getB >>= flip foldMap [getCS 4, getCS 5]

0

07.01.2022

169 похожих чатов

Дано: GetB :: IO b getCS :: a -> b -> IO

6 ответов

Похожие вопросы