Вопросы с тегом «applicative»

Любая монада также является аппликативным функтором, а любой аппликативный функтор - функтором. Также любая комонада является функтором. Существует ли похожая концепция между комонадами и функторами, что-то вроде ко-аппликативного функтора, и каковы его свойства? \begin{array}{c} \end{array} ФУНКТОРЫ↑Аппликативные функторы↑МонадыФУНКТОРЫ↑? ? ?↑ComonadsФУНКТОРЫФУНКТОРЫ↑↑Аппликативные функторы???↑↑МонадыComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ …

17 ct.category-theory  monad  applicative  comonad 

В продолжение Каков пример Монады, которая является Альтернативой, но не МонадПлюс? : Предположим, является монадой. Каковы отношения betweem м будучи Alternative , а MonadPlusCatch и MonadPlusDistr ? mmmmmmДля каждой из шести возможных пар я хотел бы иметь либо доказательство того, что одно подразумевает другое, либо контрпример, что это не так. …

12 pl.programming-languages  functional-programming  haskell  monad  applicative