Perguntas com a marcação «applicative»

Qualquer mônada também é um função aplicadora e qualquer função aplicadora é um função. Além disso, qualquer comonada é um functor. Existe um conceito semelhante entre comônadas e functores, algo como functor co-aplicativo e quais são suas propriedades? \begin{array}{c} \end{array} Functors↑Funções aplicáveis↑MônadasFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Funções aplicáveis???↑↑MônadasComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …

17 ct.category-theory  monad  applicative  comonad 

Acompanhamento O que é um exemplo de uma Mônada que é uma Alternativa, mas não uma MonadPlus? : Suponha que é uma mônada. Quais são as relações betweem ser uma alternativa , um MonadPlusCatch e uma MonadPlusDistr ? mmmmmmmPara cada um dos seis pares possíveis, eu gostaria de ter uma …

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