Pertanyaan yang diberi tag applicative

Apakah ada konsep sesuatu seperti functor co-aplikatif duduk di antara comonads dan functors?

Monad apa pun juga merupakan fungsi aplikasi dan fungsi aplikasi apa pun adalah fungsi. Juga, comonad apa pun adalah functor. Apakah ada konsep yang sama antara comonads dan functors, sesuatu seperti functor co-aplikatif, dan apa propertinya? \begin{array}{c} \end{array} Functors↑Fungsional yang...

Apa hubungan antara Alternatif, MonadPlus (LeftCatch) dan MonadPlus (LeftDistributive)?

Tindak Lanjut Apa contoh dari Monad yang merupakan Alternatif tetapi bukan MonadPlus? : Anggap adalah monad. Apa hubungan betweem m menjadi alternatif , sebuah MonadPlusCatch dan MonadPlusDistr ? mmmmmmUntuk masing-masing dari enam pasangan yang mungkin, saya ingin memiliki bukti bahwa satu...