คำถามติดแท็ก applicative

Monad ใด ๆ ก็เป็น functor สมัครและ functor สมัครใด ๆ ที่เป็น functor นอกจากนี้ comonad ใด ๆ ก็เป็นนักแสดง มีแนวคิดที่คล้ายกันระหว่าง comonads และ functors บางอย่างเช่น functor co-applicative และคุณสมบัติของมันคืออะไร? \begin{array}{c} \end{array} functors↑ฟังก์ชั่นการใช้งาน↑monadsfunctors↑? ? ?↑Comonadsfunctorsfunctors↑↑ฟังก์ชั่นการใช้งาน???↑↑monadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative functors} & & ??? \\ \uparrow & & \uparrow \\ …

17 ct.category-theory  monad  applicative  comonad 

การติดตามตัวอย่างของ Monad ซึ่งเป็นทางเลือก แต่ไม่ใช่ MonadPlus คืออะไร : สมมติว่าเป็น monad อะไรคือความสัมพันธ์ betweem เมตรเป็นทางเลือกที่MonadPlusCatchและMonadPlusDistr ? mmmmmmสำหรับแต่ละคู่ที่เป็นไปได้ทั้งหกคู่นั้นฉันต้องการพิสูจน์ว่ามีนัยหนึ่งหรืออีกตัวอย่างหนึ่งที่ไม่เป็นเช่นนั้น (ฉันกำลังใช้ MonadPlusCatchเพื่อแยกความแตกต่างของMonadPlusที่เป็นไปตามกฎLeft-Catch : mplus (return a) b = return a MonadPlusDistrเพื่อแยกความแตกต่างของMonadPlusที่ทำให้กฎการกระจายซ้าย : mplus a b >>= k = mplus (a >>= k) (b >>= k) ดูMonadPlus บน HaskellWiki ) ความรู้และสัญชาตญาณปัจจุบันของฉันคือ: MonadPlusDist ทางเลือก - น่าจะเป็นจริง - ดูเหมือนว่าตรงไปตรงมาฉันเชื่อว่าฉันมีร่างของหลักฐานฉันจะตรวจสอบและถ้ามันถูกต้องฉันจะโพสต์มัน …

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