Я реализую монадный преобразователь типа Maybe (он же Option) в Javascript (обратите внимание, что...

Когда я изучал главу Composing Types из книги на Haskell, мне дали задание написать экземпляры...

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

Я просмотрел https://www.fpcomplete.com/blog/2017/06/tale-of-two-brackets,, хотя просматривал...

Интересно, кто-нибудь знает, как я могу реорганизовать splitEventWriter1 в splitEventWriter2?Или...

Допустим, у меня есть какая-то функция, которая возвращает Async<Result<string>>: let...

У меня есть парсер, определенный как несколько более сложная версия следующего: data X = X { getX...

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

Этот вопрос является продолжением этой темы: https://stackoverflow.com/a/54317095/4400060 Я...

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

Я пытался написать свои собственные монадные преобразователи, в которых было бы целесообразно иметь...

Я начал изучать стеки монадных трансформаторов, используя бумажные монад-трансформаторы: шаг за...

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

Я пытаюсь вызвать ask в блоке записи do с ограничением MonadReader, но получаю ошибку о жестких...

У меня есть простое приложение Spock, созданное в hello world, которое следует из учебника , но...

Итак, я пытаюсь выполнить стандартное упражнение «напиши себе синтаксический анализатор для языка,...

Я бы хотел сделать вложенные аппликативные функторы разных типов.Например, вложенные простые...

Я пытаюсь заставить renderText из xml-conduit работать с ST монадой.К сожалению, в отличие от...

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

Пакет streaming предлагает a zipsWith функцию zipsWith :: (Monad m, Functor h) => (forall x y. f...

Как мне создать монаду, которая использует преобразователи State, Cont и Reader?Я хотел бы...

большинство функций ввода-вывода в моей программе приводят к этому типу: ExceptT Err (Eff eff) a...

У меня есть следующий код: def foo: OptionT[Future, String] = OptionT(Future

Я пытаюсь реализовать WriterT с пользовательским типом данных.Я реализовал моноид, как того требует...

Я читаю документацию для класса MonadWriter и вижу, что writer и tell могут быть записаны в...