Аппликативный функтор - Википедия - Applicative functor

В функциональное программирование, аппликативный функтор является промежуточной структурой между функторы и монады. Аппликативные функторы позволяют упорядочивать функториальные вычисления (в отличие от простых функторов), но не позволяют использовать результаты предыдущих вычислений в определении последующих (в отличие от монад). Аппликативные функторы - это программный эквивалент слабые моноидальные функторы с растягивающая сила в теория категорий.

Аппликативные функторы были представлены в 2007 году Конором МакБрайдом и Россом Патерсоном в их статье. Functional Pearl: прикладное программирование с эффектами.^[1]

Аппликативные функторы впервые появились как функция библиотеки в Haskell, но с тех пор распространились и на другие языки, включая Идрис, Агда, OCaml, Scala и F #. И Glasgow Haskell, и Idris теперь предлагают языковые функции, предназначенные для упрощения программирования с помощью аппликативных функторов. В Haskell аппликативные функторы реализованы в Аппликативный тип класс.

Смотрите также

• Текущее определение класса Applicative в Haskell

Рекомендации

Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это.