Аппликативные функторы хорошо известны и любимы среди хаскеллеров за их способность применять функции в эффективном контексте. В терминах теории категорий можно показать, что методы Applicative : pure :: a -> f a (<*>) :: f (a ->...

Похоже, что такие классы типов, как Applicative , Monad и Arrow имеют своего рода эквивалент типа суммы в классах типов, таких как Альтернативный , MonadPlus и ArrowPlus соответственно. Например, Applicative и Alternative можно использовать...

В статье: " Напишите вам Haskell " (стр. 34) следующая интерпретация " some " и " many " дано: Автоматически производными от определения класса типов Alternative являются функции many и some . many принимает один аргумент функции и...