applicative
Аппликатив-это Моноидальный функтор: mappend :: f -> f -> f $ :: (a -> b) -> a -> b <*> :: f(a -> b) -> f a -> f b Но я не вижу никакой ссылки на моноид в определении прикладного класса типов, не могли бы вы сказать мне, почему ? Определение: class...
У меня есть экземпляр Either[Future[A], Future[B]], и я хотел бы преобразовать его в Future[Either[A, B]]. Поскольку мой предыдущий вопрос, cats 0.8.1 был выпущен, изменив структуру библиотеки и отбросив Xor в пользу Either, который является правым смещением в 2.12. Таким образом, метод, описанный в преды...
Для списка, почему right apply (*>) ведет себя как повторение и добавление второго аргумента n раз, где n - длина первого аргумента? ghci> [1,2,3] *> [4,5] [4,5,4,5,4,5] ...
В "Научи тебя Хаскеллу для великого блага!"автор утверждает, что Applicative IO экземпляр реализован следующим образом: instance Applicative IO where pure = return a <*> b = do f <- a x <- b return (f x) Я могу ошибаться, но кажется, что и return, и do-специфиче...
Например, -- Num a => ([Char], a -> a) <*> ([Char], a) > ("hello ",(*6)) <*> ("world",7) ("hello world",42) -- Num a => [a -> a] <*> [a] > [(*7),(*6)] <*> [6,7] [42,49,36,42] -- Num a => [[Char], a -> a] <*> [[Char], a] > ["hello ",(*6)] <*> [...
instance Monoid m => Applicative (Const m) where pure _ = Const mempty Const f <*> Const v = Const (f `mappend` v) Я не понимаю, как можно определение <*> типа-проверить. С левой стороны f ограничена сигнатурой <*>, как и в определении Аппликативного class Functor f => Ap...
Я использую optparse-applicative версию 0.7.0.2. Я хочу написать синтаксический анализатор, который принимает некоторые обязательные параметры, но при вызове без параметров он показывает как Использование, так и помощь, в отличие от простого использования (то есть я хочу, чтобы вызов без параметров вел себя...
похоже, существует консенсус, что вы должны использовать Parsec в качестве аппликатора, а не монады. Каковы преимущества аппликативного разбора над монадическим разбором? стиль производительность абстрагирование монадический разбор?...