Perguntas com a marcação «applicative»

Existe um conceito de algo como functores coaplicativos sentados entre comônadas e functores?

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

Quais são as relações entre Alternative, MonadPlus (LeftCatch) e MonadPlus (LeftDistributive)?

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 prova de que...