Результаты поиска по запросу "monad-transformers"
Приведение в порядок монад - превращение монадного трансформатора в монаду нового типа
Я пытаюсь взять например
Это действительный монадный преобразователь в Javascript?
Чтобы лучше понять монадные трансформаторы, я реализовал один. Поскольку Javascript динамически типизирован, я не имитирую конструкторы типов или данных, а о...
Можно ли реализовать `(Applicative m) => Applicative (StateT s m)`?
Я сейчас работаю надData.Fresh а такжеControl.Monad.Trans.Fresh, что соотв. определить интерфейс для генерации свежих переменных и преобразователь монад, который реализует этот интерфейс. Я изначально думал, что будет возможно ...
в Глазго на Хаскеле, но это не очень интересный факт.
от вопрос уже есть ответ здесь: Есть ли монада, у которой нет соответствующего монадного трансформатора (кроме IO)? [/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io] 4 ответаМонадные ...
запись данных в основную монаду пут. И эта проблема существует в вашем исходном коде, который я изменил точно так же, как в коде, который я предоставил. Итак, время для нового подхода.
о моемупредыдущий вопрос [https://stackoverflow.com/questions/4828902/why-wrapping-the-data-binary-put-monad-creates-a-memory-leak] Я пытаюсь заключить монаду Data.Binary.Put в другую монаду, чтобы позже я мог задать ей такие вопросы, как ...
+1, хороший трюк с генератором
аюсь сохранить простую (но довольно большую) древовидную структуру в двоичный файл, используя Haskell. Структура выглядит примерно так: -- For simplicity assume each Node has only 4 childs data Tree = Node [Tree] | Leaf [Int] И вот как мне ...
Могу ли я использовать разные рабочие процессы одновременно в F #?
Мне нужно, чтобы мое состояние передавалось вместе с возможностью цепочки функций, возможно, с рабочим процессом. Есть ли способ для двух рабочих процессов использовать один и тот же контекст? Если нет, как это сделать? ОБНОВИТЬ: Ну, у меня ...
Это потому, что, используя термин Applicative и тег haskell, это вопрос о haskell, но с ответом в другой записи.
кативные сочинения, монады нет. Что означает приведенное выше утверждение? А когда один предпочтительнее другого?