タグ付けされた質問 「applicative」

モナドはすべて適用ファンクターであり、適用ファンクターはファンクターです。また、comonadはファンクターです。comonadsとファンクターの間に同様の概念がありますか？共同適用ファンクターのようなものがあり、その特性は何ですか？ \begin{array}{c} \end{array} ファンクター↑応用ファンクター↑モナドファンクター↑？？？↑コモナドファンクターファンクター↑↑応用ファンクター？？？↑↑モナドコモナド\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ \mbox{Monads} & & \mbox{Comonads} \\ \end{array} 更新：このような概念の可能な用途にも興味があります。

17 ct.category-theory  monad  applicative  comonad 

フォローアップモナドプラスではなく、代替であるモナドの例は何ですか？： がモナドであると仮定します。関係はbetweem何ですかmがあることオルタナティブ、MonadPlusCatchとMonadPlusDistr？mmmmmm6つの可能性のあるペアのそれぞれについて、一方が他方を暗示しているという証拠、またはそれが暗示していない反例のいずれかを持ちたいと思います。 （私は使用しています 左キャッチ規則を満たすMonadPlusを区別するMonadPlusCatch： mplus (return a) b = return a 左分配規則を満足させるMonadPlusを区別するMonadPlusDistr： mplus a b >>= k = mplus (a >>= k) (b >>= k) HaskellWikiのMonadPlusを参照してください。） 私の現在の知識と直感は次のとおりです。 MonadPlusDist オルタナティブ - おそらく真 - それは簡単なようで、私は私が証明のスケッチ持っていると信じて、私はそれをチェックしますし、それが正しいなら、私はそれを投稿します AndrewCはこの部分を答えました。→→\rightarrow →→\rightarrow Maybe →→\rightarrow MaybeT (Either e)MaybeT m' ((pure x) <|> g) <*> a = -- LeftCatch …

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