Я искал класс Applicative в библиотеках Haskell и наткнулся на Alternative.
Чем хорош этот класс? Поиск в гугле ничего особенно интересного не дал. И это, кажется, совершенно неуместно в комплекте с пакетом Applicative.
Может ли кто-нибудь опубликовать возможный сценарий, в котором вы будете использовать этот класс?
Он обычно используется с комбинаторами парсеров. Например, если space — это комбинатор синтаксического анализатора, который соответствует одному символу пробела, many space будет комбинатором, который будет соответствовать последовательному пробелу.
Я могу согласиться, что это немного неуместно в Control.Applicative.
Applicatives по тому же шаблону, что и MonadPlus и ArrowPlus, оба из которых также имеют общий модуль с классом, на котором они основаны. Для согласованности его следовало бы назвать ApplicativePlus, но это уродливое имя.
- person C. A. McCann; 26.08.2011
ApplicativePlus в Alternative не так уж и хорошо, поскольку у последнего есть коннотации, которые ограничивают его область применения.
- person Anupam Jain; 26.08.2011
Иногда оператор <|> весьма полезен:
foldl1 (<|>) [Nothing, Just 5, Just 3]
-- Just 5
mconcat с моноид First. Это хорошо обобщается на другие Maybe моноидов.
- person hammar; 26.08.2011
foldl1 использовалось где-то там, где есть разумное значение по умолчанию (foldl (<|>) Nothing). Что вы будете делать, когда ваш ответ выйдет из строя? :D
- person Rotsor; 26.08.2011
foldl (<|>) empty вообще, учитывая, что empty - это личность (<|>)
- person sam boosalis; 31.01.2015
Data.Foldable.asum тоже предоставляет этот функционал
- person abhillman; 19.05.2015
