Подскажите, пожалуйста, как правильно использовать монады в монадах? На примере

Question

Подскажите, пожалуйста, как правильно использовать монады в монадах? На примере

пишу монаду writer. Строчка закомментированная работает, где я сворачиваю список булевых значений в одно значение до записи tell . Могу ли я используя свойства монады список (недетерминированность вычислений) извлекать в х элементы [[Int]], посылать их аргументами в функцию для получения булевого значения и их писать в «лог»-монойд-All. Понимаю, что каждая строчка должна быть в монаде Writer, но как тогда использовать свойства списка, как монады?

#haskell #programming #russian

0

29.06.2022

4 ответов

23 просмотра

Cheese Syrowiecki

список как монаду можно использовать внутри выражения, которое (целиком) имеет тип [a]

0

29.06.2022

Denis Gabidullin

Почитай про трансформеры монад

0

29.06.2022

Cheese Syrowiecki

у вас tell $ All $ and $ map isGoodAngle $ permutations xss во-первых, хочется сразу упростить tell $ All $ all isGoodAngle $ permutations xss как я понял, вы хотите ввести обозначение, но монады тут ничем помочь не могут, это делается так: let ps = permutations xss in tell $ All $ all isGoodAngle ps можно написать в монадном синтаксисе: do let ps = permutations xss tell $ All $ all isGoodAngle ps но никакая монада здесь работать не будет

0

29.06.2022

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

в контексте Writer стрелка означает Writer, и не может означать список

0

29.06.2022

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

Подскажите, пожалуйста, как правильно использовать монады в монадах? На примере

4 ответов

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