monads

1зной

1ответ

Haskell while loop, где рекурсия просто не будет делать?

Я как-то новичок в Haskell и декларативных языках вообще, но как мысленный эксперимент, я решил, что интересным упражнением по кодированию будет реализация чего-то вроде Hashcash algorithm. Если вы не

algorithm haskell recursion monads 2017-01-10

---

2зной

2ответ

Являются ли все экземпляры Monad в Haskell разными способами для отображения из Hask в Hask?

Я читаю Haskell/Category theory и вот definition of monad из этой статьи: Монада представляет собой особый тип функтора из категории к той же категории , который поддерживает некоторые дополнительные

haskell monads category-theory 2017-01-12

---

0зной

1ответ

scalaz перерыв управления Free Монады и пауза для цепочки вычислений

у меня есть цепь вычислений, которая изменяет состояние контекста: case class Context(...) type Step = (Context => Context) val step1: Step = ctx => { ctx.copy(...) } val step2: Step val step3: St

scala monads scalaz 2017-01-15

---

1зной

2ответ

обратное состояние монады в Coq

В Haskell, следующее определение затруднительное принимается: type RState s a = s -> (a, s) bind :: RState s a -> (a -> RState s b) -> RState s b bind sf f = \s -> let (a, s'') = sf s' (

haskell monads lazy-evaluation coq state-monad 2017-01-18

---

10зной

1ответ

Почему невозможно использовать апликативно-поперечные массивы? (Или это?)

Рассматривая, как наилучшим образом отобразить карту, то есть traverse, a -> Maybe a -Kleisli над unboxed vector, я искал существующую реализацию. Очевидно U.Vector не Traversable, но it does supply a

performance haskell monads unboxing 2017-01-19

---