Я написал эту функцию: appFunc :: Integer -> Integer -> Bool -> Maybe (Integer,Integer)...
В этом ответе от Конора МакБрайда (свинарник) обсуждаются Applicative функторы, которые также...
Недавно мне нужно было поместить head между двумя монадическими операциями.Вот SSCCE: module Main...
Я пытаюсь сделать Twice членом аппликативного, но я получаю «Противоречивые определения для« a »» в...
Я знаю, что класс Applicative описан в теории категорий как "слабый моноидальный функтор", но я...
Applicative является моноидальным функтором: mappend :: f -> f -> f $ :: (a -> b) -> a...
Я читал о Applicative в Хаскеле из книги Хаттона по программированию в Хаскеле.Чтобы лучше это...
Я пытаюсь написать экземпляр Applicative для моего ZipList и получаю некоторые запутанные...
Предварительное примечание: это ответ удаленный вопрос от SeanD . Также как zipWith для списков ......
Возможно, ни одно из этих утверждений не является категорически точным, но монаду часто определяют...
Я пытаюсь написать такую функцию, как mapFst :: Maybe (a, String) -> Maybe ([a], String)...
Я помогаю другу изучать Haskell, и он недавно создал такой код, который проверяет тип и создает...
Я пытаюсь понять реализацию traverseImpl в scalaz-seven : def traverseImpl[F[_], A, B](l:...
Во время обучения Scalaz 6 я пытаюсь написать безопасные для типов читатели, возвращающие проверки....
Предположим, у нас есть два списка: val l1=List("a","b","c") val l2 =...
Монады, как известно, теоретически являются подмножеством функторов и, в частности, аппликативных...
Я пытаюсь сделать то, что должно быть ослепительно очевидно в Хаскеле, то есть перейти от Just [1]...
Мне кажется, я понимаю, как работают аппликативные функторы в Haskell, и я использую их для базовых...
Я новичок в haskell и читаю книгу "Learn you a haskell". Я уже некоторое время пытаюсь переварить...
let standard = (0, 4.5M, 4L) let tuples = [| ("A", -2, 1.0M, 2L); ("B", -1, 2.0M...
В ghci: λ> :t (pure 1) (pure 1) :: (Applicative f, Num a) => f a λ> show (pure 1)...
Прочитав ответ Энтони на вопрос о парсере, связанном со стилем , я пытался убедить себя, что...
Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду....
Я играю с Parsec и хочу объединить два парсера в один с результатом, помещенным в пару, а затем...
scala> val a = Need(20) a: scalaz.Name[Int] = scalaz.Name$$anon$2@173f990 scala> val b =...