applicative

1зной

1ответ

Применительный пример для монады-читателя

Я думал, что каждая монада в scalaz также имеет экземпляр Applicative. Например, я могу использовать ApplicativeBuilder для Option, как это: scala> (1.some |@| 2.some) {_ + _} res1: Option[Int] = Som

10зной

2ответ

Как я могу проверить функции, полиморфные по применению?

Я только written a function (для Data.Sequence) traverseWithIndex :: Applicative f => (Int -> a -> f b) -> Seq a -> f (Seq b) , которые должны подчиняться traverseWithIndex f = sequenceA . mapWithIn

-4зной

2ответ

Monad более мощный, чем аппликативный?

Я посмотрел past discussion, но не мог понять, почему ответы на них действительно верны. Аппликативный <*> :: f (a -> b) -> f a -> f b Монада (>>=) :: m a -> (a -> m b) -> m b Так что, если я получаю

18зной

2ответ

Что такое Аппликативное определение функтора из теории категорий POV?

я был в состоянии сопоставить определение функтора от теории категорий для определения Хаскеля следующим образом: так как объекты Hask типы, функтор F отображает каждый тип a из Hask к новому типу F a

6зной

1ответ

Аппликативный функтор, который меняет порядок эффектов

Учитывая прикладной функтор f, у меня возникла идея создать новый прикладной функтор Rev f, например f, но с изменением порядка эффектов. Вот оно: import Control.Applicative newtype Rev f a = Rev {u

3зной

1ответ

Как перемещаться по последовательностям, выровненным по типу?

Прошлым летом я рассмотрел понятие складывания последовательности, выровненной по типу, asking here, как можно реализовать аналог foldr в терминах аналога foldMap. Иоахим Брейтнер смог сделать это с п

1зной

2ответ

help help help

Я использую optparse-applyative, который поставляется с stackage lts 5.1 У меня есть парсер с подкомандами, и я описал текст справки по их параметрам, но они не отображаются. Это выход, когда я запуст