Поднимите, чтобы зафиксировать * внутреннюю часть * монадного стека трансформаторов.

Предположим, у меня есть

Как заставить ReaderT работать с другим монадным преобразователем?

Я хотел бы встроить

Есть ли монада, у которой нет соответствующего монадного трансформатора (кроме IO)?

Как поместить изменяемый Вектор в Государственную Монаду

Я написал небольшую программу на haskell для подсчета всех вхождений значений Int в Tree, используя State Monad с Vector:

Аппликативный экземпляр для MaybeT m предполагает Monad m

Могу ли я использовать разные рабочие процессы одновременно в F #?

Мне нужно, чтобы мое состояние передавалось вместе с возможностью цепочки функций, возможно, с рабочим процессом. Есть ли способ для двух рабочих процессов использовать один и тот же контекст? Если нет, как это сделать? ОБНОВИТЬ: Ну, у меня ...

Могу ли я использовать разные рабочие процессы одновременно в F #?

Мне нужно, чтобы мое состояние передавалось вместе с возможностью цепочки функций, возможно, с рабочим процессом. Есть ли способ для двух рабочих процессов и...

Можно ли реализовать `(Applicative m) => Applicative (StateT s m)`?

Я сейчас работаю надData.Fresh а такжеControl.Monad.Trans.Fresh, что соотв. определить интерфейс для генерации свежих переменных и преобразователь монад, который реализует этот интерфейс. Я изначально думал, что будет возможно ...

Как спроектировать монадический стек?

Как вы проектируете и строите свои монадические стеки? Впервые мне нужно собрать монадический стек (с использованием преобразователей) для решения реальной проблемы, но я не совсем уверен, в какомзаказ сложить трансформаторы. Как вы уже знаете, ...

Как спроектировать монадический стек?

Как вы проектируете и строите свои монадические стеки? Впервые мне нужно собрать монадический стек (с использованием преобразователей), чтобы решить реальную...