monad पर टैग किए गए जवाब

कोई भी मोनाड एक आवेदक फ़नकार है और कोई भी आन्तरिक फ़नकार एक फ़नकार है। साथ ही, कोई भी कॉमनैड एक फनकार है। क्या कोमोनॉड्स और फंक्शनलर्स के बीच एक समान अवधारणा है, सह-आवेदक फ़ंक्टर की तरह कुछ है, और इसके गुण क्या हैं? \begin{array}{c} \end{array} functors↑एप्लाइड फंक्शनलर्स↑monadsfunctors↑? ? ?↑Comonadsfunctorsfunctors↑↑एप्लाइड …

17 ct.category-theory  monad  applicative  comonad 

पृष्ठभूमि । मैं एक स्नातक छात्र हूं जो श्रेणी सिद्धांत, मोनाड्स और हास्केल से संबंधित अनुसंधान में रुचि रखता है, और मैं उस क्षेत्र में अपने स्नातक की थीसिस के लिए एक विषय खोजना चाहता हूं। मैंने कागज को देखा है यूजीनियो मोगी , " अभिकलन और मोनाड्स की धारणा …

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

निरंतरता गुजर याद को बदलने (सीपीएस को बदलने) जो लेता है करने के लिए बीटा एक : = आर आर ए (जहां आर तय हो गई है) और च : एक → बी को बीटा च : बीटा एक → बीटा बी द्वारा परिभाषित बीटाएAAβए : = आरआरएβA:=RRA\beta A \mathrel{{:}{=}} …

13 functional-programming  monad  continuations  cps-transforms 

इसके बाद क्या एक मोनड का उदाहरण है जो एक वैकल्पिक है लेकिन एक मोनडप्लस नहीं है? : मान लें एक इकाई है। संबंधों betweem क्या हैं मीटर एक जा रहा है वैकल्पिक , एक MonadPlusCatch और एक MonadPlusDistr ? mmmmmmछह संभव जोड़े में से प्रत्येक के लिए, मैं या …

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