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

Недавно мне нужно было поместить head между двумя монадическими операциями.Вот SSCCE: module Main...

Мне было интересно, было ли законное использование IORef в Haskell?В частности, я был бы благодарен...

Вот некоторый код для кошек Scala, использующий IO Monad : import java.util.concurrent

Я пытаюсь выяснить, как протестировать приложение happstack.Я реализовал простую функцию для...

Я пытаюсь придумать реализацию State Monad, основанную на примерах композиции функций.Вот что я...

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

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

Я пытаюсь поближе познакомиться с Haskell (Functor, Monad). Поэтому я пытаюсь понять, что...

Здравствуйте, может кто-нибудь, пожалуйста, объясните мне, как вы можете использовать оператор...

Я использую State-Monad из библиотеки кошек, чтобы позаботиться о состоянии карточной игры, которую...

Я хотел бы написать программу, подобную следующей: add :: Int -> Int -> Int add a b = a + b...

Может кто-нибудь объяснить концепцию Monad в Arrow функциональном программировании? https://arrow...

У меня есть функция bar :: MyType -> MyType -> [MyType] Я хотел бы иметь другую функцию: foo...

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

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

После прочтения книг на Haskell я немного растерялся (или просто забыл), как получить значение из...

После прочтения этой замечательной статьи о монадах в Typescript: https://codewithstyle

Я пытаюсь сделать действительно простой пример с использованием интерфейса Z3.Monad в Haskell. К...

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

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

У меня есть List[IO[A]], и я хочу преобразовать его в IO[List[A]] В скалазе я бы использовал...

В следующем фрагменте кода я изначально считал, что имеет ограниченную ошибку монады (я забыл...

Я пытался решить упражнения в https://github

Чтобы понять Монаду, я придумал следующие определения: class Applicative' f where purea :: a...