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

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 

พื้นหลัง ฉันเป็นนักศึกษาระดับปริญญาตรีที่มีความสนใจในการวิจัยที่เกี่ยวข้องกับทฤษฎีหมวดหมู่ monads และ Haskell และฉันต้องการค้นหาหัวข้อสำหรับวิทยานิพนธ์ระดับปริญญาตรีของฉันในพื้นที่นั้น ฉันดูกระดาษแล้ว Eugenio Moggi , " พัฒนาการของการคำนวณและ Monads ", 1991, และฉันยังไม่เข้าใจมากนัก ฉันอาจต้องใช้เวลาพอสมควรในการทำความเข้าใจ แต่ก่อนที่จะใช้เวลามากขึ้นในการศึกษามันฉันต้องการที่จะได้รับความเข้าใจที่ดีขึ้นของสนามและศักยภาพการวิจัยของ ฉันเพิ่งพูดคุยกับอาจารย์ของฉันเกี่ยวกับเรื่องนี้และเขาบอกฉันว่า monads เป็นแฟชั่นในชุมชนการวิจัยย้อนกลับไปใน 90s แต่ทุกวันนี้พวกเขาล้าสมัย ดังนั้นตอนนี้ฉันกำลังมองหางานล่าสุดที่เกี่ยวข้องกับพระและสงสัยว่า: วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีในปัจจุบันมีงานวิจัยใดบ้างที่เกี่ยวข้องกับหมวดหมู่ทฤษฎีและพระสงฆ์ งานวิจัยประเภทใดที่ถูกสร้างขึ้นหรือเสนอในงานของ E. Moggi เกี่ยวกับพระในทฤษฎีของการเขียนโปรแกรม มีการติดตามหรือการวิจัยที่เกี่ยวข้องกับบทความของเขาหรือไม่?

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

เรียกคืนการแปลงสภาพต่อเนื่อง (การแปลง CPS) ซึ่งใช้ถึงβ A : = R R A (โดยที่คงที่R ) และf : A → Bถึงβ f : β A → β B ที่กำหนดโดย βAAAβA : = RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRฉ: A → Bf:A→Bf : A \to Bβฉ: βA → βBβf:βA→βB\beta f : \beta A \to \beta B ในความเป็นจริงเรามีmonad …

13 functional-programming  monad  continuations  cps-transforms 

การติดตามตัวอย่างของ 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