Pytania oznaczone «applicative»

Czy istnieje koncepcja czegoś takiego jak funktony kooperacyjne siedzące między comonadami i funktorami?

Każda monada jest również funktorem aplikacyjnym, a każdy funktor aplikacyjny jest funktorem. Ponadto każdy comonad jest funktorem. Czy istnieje podobna koncepcja między comonadami i funktorami, coś w rodzaju funktora kooperacyjnego i jakie są jego

Jakie są relacje między Alternative, MonadPlus (LeftCatch) i MonadPlus (LeftDistributive)?

Dalsze działania Jaki jest przykład Monady, która jest alternatywą, ale nie MonadPlus? : Załóżmy, że to monada. Jakie są stosunki betweem m bycia alternatywą , a MonadPlusCatch i MonadPlusDistr ? mmmmmmDla każdej z sześciu możliwych par chciałbym mieć albo dowód, że jedna implikuje drugą, lub...