monads

0зной

1ответ

Monad reader и частичное применение функций

Поскольку частично примененные функции are instances of the MonadReader, почему этот код неправильный? runReader (\x -> x + 2) 4 или даже runReader (\x -> pure $ x + 2) 4

10зной

4ответ

Понимание forall в Monad '>> =' функция?

this После ответа, я реализовал обобщенную функцию подъема в моей программе: liftTupe :: (x -> c x) -> (a, b) -> (c a, c b) --This will error liftTuple :: (forall x. x -> c x) -> (a, b) -> (c a, c b)

2зной

2ответ

переплета экземпляр класса для частично применяемых функций

определение Bind класса в прелюдии является: class Apply m <= Bind m where bind :: forall a b. m a -> (a -> m b) -> m b Это может быть прочитан как функция принимает два входных параметров, зна

2зной

1ответ

Ошибка неожиданных совпадений экземпляров

У меня есть следующий код. Class1 экземпляров говорят, что прямой суперкласс класса, SuperClass1 автоматически обходит Class1, чтобы найти все суперклассы. (Я не указал фактические методы этих классов

1зной

1ответ

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

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

1зной

2ответ

Как цепь а -> IO (м б) функции

Существуют функции с подписями вроде: a -> IO (m b) b -> IO (m c) c -> IO (m d) Как приковать их в a -> IO (m d) ? Практическое применение: скажем, что существует набор конечных точек REST. Кажд

1зной

1ответ

Общие вложенные манипуляции монады?

Я был given следующий интерфейс класса: class Misty m where banana :: (a -> m b) -> m a -> m b unicorn :: a -> m a И теперь я должен изменить это для того, чтобы: jellybean :: (Misty m) =>

2зной

1ответ

Scala шаблону с асинхронном (или любой монады) оберегает

Сегодня я наткнулся на следующую проблему: я имел некоторые типы соответствия шаблону происходит, упрощена глядя, как это: object Sync { sealed trait MatchType case object BigType extends Ma