Я искал класс Applicative в библиотеках Haskell и наткнулся на Alternative . Чем хорош этот класс? Поиск в гугле ничего особенно интересного не дал. И это, кажется, совершенно неуместно в комплекте с пакетом Applicative. Может ли кто-нибудь...

Для чего нужны функции some и many в классе типов Alternative ? документы предоставляют рекурсивное определение, которое я не мог понять.

В его ответе на вопрос «Различие между классами типов MonadPlus , Alternative и Monoid ?» , — говорит Эдвард Кметт. Более того, даже если бы Applicative был суперклассом Monad , вам все равно бы понадобился класс MonadPlus , потому...

Существует экземпляр Monoid a => Monoid (Const a b) для Const функтор из Control.Applicative . Также есть экземпляр Monoid m => Applicative (Const m) . Поэтому я ожидаю, что также существует экземпляр Monoid m => Alternative...

Я смотрел на класс типов Alternative в haskell и играл с ним в ghci, когда выпустил это some (Just 2) Он завис, я посмотрел в исходном коде альтернативы, определения по умолчанию для некоторых и многих альтернатив таковы: some :: f a...

Я пытаюсь реализовать функцию, которая обычно помещает первый элемент списка в монаду, но если монада является списком, она возвращает весь список: putInMonad :: MonadPlus m => [a] -> m a putInMonad (s:sx) = return s putInMonad _ = mzero...

Я хотел бы использовать функцию some из Alternative http://hackage.haskell.org/package/base-4.12.0.0/docs/src/GHC.Base.html#some . Я пробовал: *MyParser Data.Attoparsec.Text Control.Applicative Data.Text> some [3443] ewrewrew...