«monad» 태그된 질문

모든 모나드는 또한 적용되는 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 

배경 . 저는 범주 이론, 모나드 및 하스켈 관련 연구에 관심이있는 학사 학생이며 해당 분야의 학사 논문 주제를 찾고 싶습니다. 나는 종이를 보았다 Eugenio Moggi ,“ 계산과 모나드의 개념 ”, 1991, 아직 많이 이해하지 못합니다. 아마 그것을 완전히 이해하려면 꽤 시간이 필요할 것입니다. 그러나 공부에 더 많은 시간을 투자하기 전에 …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

를 β A : = R R A ( R 이 고정 된 곳)에서 f : A → B 에서 β f : β A → β B 를 β로 정의한 연속 통과 변환 (CPS 변환)을 상기하십시오 .ㅏAAβA : = R아르 자형ㅏβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}아르 자형RR에프: A → Bf:A→Bf : …

13 functional-programming  monad  continuations  cps-transforms 

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

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