Я прочитал определение государственной монады следующим образом, которое включает в себя...

Я пытаюсь использовать Государственную монаду, чтобы сделать некоторые вычисления, также изменяя ее

Проблема: Я пытаюсь понять Государственная монада . Немного застрял, чтобы понять, как я могу его...

Я пытаюсь сгенерировать некоторые инструкции по сборке в Haskell, и мне нужно сгенерировать...

Я уже задавал вопрос о понимании государственной монады, но теперь я чувствовал, что этот должен...

Я так стараюсь обернуть голову вокруг Государственной Монады, и я не понимаю следующее: Учитывая...

Я пытаюсь создать function для монады состояния, которая может получить универсальный тип в a:...

У меня есть вычисление, в котором я вставляю значения в Map, а затем снова их ищу. Я знаю, что...

Я смотрю на этот фрагмент кода компилятора и не понимаю, что делает evalState, будучи новичком в...

У меня есть пример для логгера, завернутого в монаду State: val logger = Logger(LoggerFactory

Допустим, у меня есть следующие функции: checkA :: a -> Either err b checkA = undefined checkB...

Функция, подобная (Monad m) => (s -> a -> m (s, b)), создающая новое состояние и новое...

У нас есть следующие типы, заданные задачей newtype Trans state a = T {run :: state -> (a...

Я экспериментирую с Haskell Control.Monad.State, пытаясь перебрать список строк или целых чисел,...

Мне нужна монада, которая будет сообщать об ошибках типов данных (не строк) в ходе вычислений.Я...

Я понимаю, что Государственная Монада полезна для распространения новых значений в последовательном...

Я пишу криптографическую библиотеку на Хаскеле, чтобы узнать о криптографии и монадах. ( Не для...

Я работаю над оценщиком контракта для контракта DSL, который я пишу. Контракт DSL основан на...

Я начинаю использовать монаду состояния для очистки моего кода.У меня это работает для моей...

Из наших лекционных заметок : get' state = (state, state) put' item state = ((), item) --...

pure : (result : ty) -> STrans m ty (out_fn result) out_fn из http://docs.idris -lang.org / ru /...

Я хочу сделать функцию, которая добавляет 5 для нечетных вызовов и вычитает 6 для четных вызовов с...

Я изучаю Monad Transformers и решил написать переводчик для простого языка (с циклическими...

Я хотел бы, чтобы некоторые функции более высокого уровня в моей программе на Haskell вызывали...

Не используя формальный вывод, как я могу проверить, соответствует ли самоопределенный экземпляр...