Pertanyaan yang diberi tag «applicative»

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 berlaku↑MonadFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Fungsional yang berlaku???↑↑MonadComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …

17 ct.category-theory  monad  applicative  comonad 

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 menyiratkan yang lain, atau contoh tandingan yang tidak. (Saya …

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