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

यह मेरे पिछले प्रश्न के उत्तर का अनुगमन है । मैं प्रत्येक आइटम मैप करने की आवश्यकता मान लीजिए a:Aकी List[A]करने के लिए b:Bसमारोह के साथ def f(a:A, leftNeighbors:List[A]): Bऔर उत्पन्न List[B]। जाहिर है मैं सिर्फ mapसूची पर कॉल नहीं कर सकता लेकिन मैं सूची ज़िप का उपयोग कर सकता …

112 scala  functional-programming  zipper  comonad 

हास्केल में कोमोनॉड टाइपक्लास क्या है? के रूप में Comonad से Control.Comonad में कोमोनॉड पैकेज (किसी भी अन्य संकुल के स्पष्टीकरण जो कॉमनड टाइपकास्ट प्रदान करते हैं, उनका भी स्वागत है)। मैंने कॉमोनॉड के बारे में अस्पष्ट सुना है, लेकिन मुझे वास्तव में इसके बारे में पता है कि यह …

105 haskell  typeclass  comonad 

किसी भी कंटेनर प्रकार को देखते हुए हम (तत्व-केंद्रित) जिपर बना सकते हैं और जान सकते हैं कि यह संरचना एक कोमोनड है। यह हाल ही में निम्नलिखित प्रकार के लिए एक और ढेर अतिप्रवाह सवाल में अद्भुत विस्तार से पता लगाया गया था : data Bin a = Branch …

80 haskell  zipper  deriving  comonad 

जैसा कि स्टेट मोनड को प्रोडक्ट (लेफ्ट - फनकार) और रीडर (राइट - रिप्रजेंटेबल) में फैक्टर किया जा सकता है। कंटिन्यूएशन मोनाड को फैक्ट करने का एक तरीका है? नीचे कोड मेरी कोशिश है, जो टाइप चेक नहीं करेगा -- To form a -> (a -> k) -> k {-# …

11 haskell  monads  continuations  category-theory  comonad