kleisli

2зной

2ответ

(.) и (<=<) являются весьма похожи: (.) :: (b -> c) -> (a -> b) -> (a -> c) (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> (a -> m c) и доступны в качестве метода в классе Category типа ((->) и

1зной

1ответ

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

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

2зной

1ответ

Есть ли интересные примеры составления эндоморфизмов Клейсли?

Это является продолжением до моего предыдущего question Мы можем определить функцию, которая находит узел XML по пути (List[String], XmlNode) => Option[XmlNode] в виде композиции функций (String, XmlN

1зной

2ответ

Как уменьшить шаблонного с Клейсли

Я следую за дизайн книги Функциональная и реактивная Моделирование области И для некоторых методов обслуживания, то только делегаты работают в хранилище слоя. Есть ли способ уменьшить этот шаблон: tra

4зной

1ответ

Почему в Scalaz нет полугруппы no> => для A => M [A]?

Это продолжение к моему предыдущему question Kleisli определяет два оператора <=< (составляет) и >=> (andThen). >=> выглядит очень естественно для меня, и я не понимаю, как полезно использовать <=<. К

2зной

1ответ

Не может найти примеры Bind для бесплатной Монады над Coyoneda при создании функции с помощью стрелок Клейли в scalaz

Заранее спасибо за помощь У меня есть 2 функции, которые я пытаюсь сочинить с помощью стрелок Клейли. Функции принимают String и производят FreeC. Стрелки kleisli создаются без проблем, но компилятор