«applicative» 태그된 질문

모든 모나드는 또한 적용되는 functor이고 모든 적용되는 functor는 functor입니다. 또한, 모든 코모 나는 펀터입니다. 코 모나드와 펑터 사이에 유사한 개념이 있습니까? 공동 적용 펑터와 같은 것이 있으며 그 속성은 무엇입니까? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? …

17 ct.category-theory  monad  applicative  comonad 

다음 은 대안이지만 MonadPlus가 아닌 Monad의 예는 무엇입니까? : 이 모나드라고 가정하십시오 . 관계의의 차이와의 무엇입니까 m 되는 대체 하는 MonadPlusCatch 과 MonadPlusDistr은 ? mmmmmm여섯 가지 가능한 쌍 각각에 대해 하나는 다른 것을 의미한다는 증거 또는 그렇지 않은 반례를 갖고 싶습니다. (사용하고 있습니다 왼쪽 캐치 규칙 을 만족 하는 MonadPlus …

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