monads

5зной

2ответ

Haskell: Запуск два монад, сохранить результат первого одного

Играя с Haskell, и теперь я пытаюсь создать функцию, как keepValue :: (Monad m) => m a -> (a -> m b) -> m a со следующими семантическим: оно должно применяться значением монады к функции, возвращающ

haskell monads 2017-02-15

---

8зной

2ответ

Существует ли монада с надписью «Поверхность»?

Канонический «Монада экземпляр» для совместного использования среды плюс недетерминизм следующим образом (с использованием псевдо-Haskell, так как в Haskell Data.Set не является, конечно, монадическим

haskell monads reader-monad 2017-02-16

---

4зной

2ответ

Какой Monad Transformer использовать?

Я пытаюсь написать ниже функцию проверки, чтобы проверка прошла после первой ошибки. Тип возврата three отличается от других функций. Какой монадный трансформатор я использую для того, чтобы этот код

scala monads scalaz monad-transformers 2017-02-17

---

1зной

1ответ

В чем разница между конструкторами типов в Haskell и java generic типа?

Я читаю что-то о монаде без опыта в Haskell и путают с понятием конструктора типов. Монада это тройка (M, unitM, bindM), состоящий из типа конструктора M и пару полиморфных функций. unitM :: a -> M a

java haskell generics monads 2017-02-20

---

9зной

2ответ

Как использовать монаду Выбрать для решения n-queens?

Я пытаюсь понять, как работает монада Select. По-видимому, это двоюродный брат Cont, и его можно использовать для поиска назад. У меня есть этот список на основе решения проблемы н-королев: -- All the

haskell monads backtracking n-queens 2017-02-21

---

0зной

1ответ

Монадические операции внутри типа данных?

Я столкнулся с использованием :>>= в библиотеке Haxl, которую я использую. Я не уверен, как это отличается от оператора >>=? Например: data MyType a = MyType a :>>= (a -> Int) Что именно эта операци

haskell operators monads 2017-02-23

---