reader-monad

1зной

1ответ

Как использовать экземпляр MonadReader Free?

Я хочу использовать Reader в своем DSL, который я создал с помощью Free monad. Я заметил, что не является экземпляром MonadReader бесплатно здесь: https://hackage.haskell.org/package/free-4.12.1/docs/

1зной

1ответ

Читатель монады - как он соответствует интерфейсу Monad?

Я изучаю теорию категорий. Я понимаю концепцию читателя монады, это даже довольно легко реализовать: case class Reader[DEP, A](g: DEP => A) { def apply(dep: DEP): A = g(dep) def map[B](f: A

1зной

1ответ

Сочинение Клейсли и чтения монада в Scala

Предположим, у меня есть такие функции, как это: val fooXAB: X => A => Try[B] = ... val fooXBC: X => B => Try[C] = ... val fooXCD: X => C => Try[D] = ... Я хотел бы, чтобы составить их, чтобы сдел

8зной

2ответ

Существует ли монада с надписью «Поверхность»?

Канонический «Монада экземпляр» для совместного использования среды плюс недетерминизм следующим образом (с использованием псевдо-Haskell, так как в Haskell Data.Set не является, конечно, монадическим

13зной

1ответ

Является ли это просто совпадение, что Клейсли, ReaderT и чтения являются одинаковыми в Scalaz

В Scalaz Kleisli[F, A, B] является оболочкой для A => F[B]. ReaderT[F, A, B] - считыватель monad transformer - это просто псевдоним Kleisli[F, A, B]. Reader[A, B] монада является конкретизацией Reader

2зной

1ответ

Каким образом нижний репозиторий передается (передается) в каждый вызов функции?

Я был уверен, что нижеследующие символы подчеркивания означают значение функции единицы, значение которого игнорируется. (Ниже взято из книги функциональное и реактивное моделирование домена). Если эт