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

Есть ли концепция чего-то вроде ко-аппликативных функторов, сидящих между комонадами и функторами?

Любая монада также является аппликативным функтором, а любой аппликативный функтор - функтором. Также любая комонада является функтором. Существует ли похожая концепция между комонадами и функторами, что-то вроде ко-аппликативного функтора, и каковы его свойства? \begin{array}{c} \end{array}...

Каковы отношения между Альтернативой, MonadPlus (LeftCatch) и MonadPlus (LeftDistributive)?

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