Запитання з тегом «applicative»

Будь-яка монада також є прикладним функціонером, а будь-який прикладний функтор - функтор. Також будь-яка команда є функтором. Чи існує подібне поняття між комоданами та функторами, чимось на зразок коплікативного функтора, і які його властивості? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative …

17 ct.category-theory  monad  applicative  comonad 

Слідування Що таке приклад Monad, який є Альтернативою, але не MonadPlus? : Припустимо, - монада. Які відносини betweem будучи Alternative , а MonadPlusCatch і MonadPlusDistr ? ммmmмmmДля кожної з шести можливих пар я хотів би мати доказ того, що одна має на увазі інше, або зустрічний приклад того, що це …

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