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

अनुक्रमित मठ और इस मठ के लिए प्रेरणा क्या है ? मैंने पढ़ा है कि यह दुष्प्रभावों का ट्रैक रखने में मदद करता है। लेकिन हस्ताक्षर और प्रलेखन मुझे कहीं भी नहीं ले जाते हैं। इसका एक उदाहरण क्या होगा कि यह साइड इफेक्ट्स (या किसी अन्य वैध उदाहरण) पर …

98 haskell  monads 

मैं कार्यात्मक प्रोग्रामिंग में नया हूं और हाल ही में लर्न यू हास्केल में सीख रहा हूं, लेकिन जब मैं इस अध्याय से गुजरा , तो मैं नीचे दिए गए कार्यक्रम के साथ फंस गया: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got …

96 haskell  monads 

Hackad के पास monad ट्रांसफार्मर के लिए कई पैकेज हैं: mtl : मोनाड ट्रांसफॉर्मर लाइब्रेरी ट्रांसफॉर्मर : ठोस फ़नकार और मोनाड ट्रांसफार्मर मोनाड्स-एफडी : मोनाड कक्षाएं, कार्यात्मक निर्भरता का उपयोग करते हुए monads-tf : मोनाड क्लासेस, टाइप परिवारों का उपयोग करते हुए मोनाडलिब : मोनाड ट्रांसफार्मर का एक संग्रह। mtl-tf …

92 haskell  monads  monad-transformers 

मैं 48 घंटे (मैं लगभग 85 घंटे तक रहा हूं) में योरसेल्फ स्कीम के माध्यम से काम कर रहा हूं और मैंने वेरिएबल्स और असाइनमेंट को जोड़ने के बारे में भाग लिया है । इस अध्याय में एक बड़ी वैचारिक छलांग है, और मेरी इच्छा है कि यह दो चरणों …

91 variables  haskell  monads  state-monad  ioref 

मैं वास्तव में मैप और फ़्लैटमैप को समझ नहीं पा रहा हूँ। मैं यह समझने में विफल रहा हूं कि मानचित्र और सपाट मानचित्र के लिए नेस्टेड कॉल का एक अनुक्रम कैसे है। निम्न उदाहरण स्काला में कार्यात्मक प्रोग्रामिंग से है def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g …

87 scala  map  monads  for-comprehension 

मैं Option[T]स्काला में वर्ग की बात को समझने में सक्षम नहीं हूं । मेरा मतलब है, मैं किसी भी Noneओवर की सलाह को देखने में सक्षम नहीं हूं null। उदाहरण के लिए, कोड पर विचार करें: object Main{ class Person(name: String, var age: int){ def display = println(name+" "+age) } …

83 java  scala  null  functional-programming  monads 

यह सर्वविदित है कि एप्लाइड फंक्शनलर्स कंपोजिशन के तहत बंद हैं, लेकिन मोनाड्स नहीं हैं। हालाँकि, मुझे एक ठोस प्रतिधारण दिखाने में परेशानी हो रही है जो दिखा रहा है कि सन्यासी हमेशा रचना नहीं करते हैं। यह उत्तर[String -> a] एक गैर-मठ के एक उदाहरण के रूप में देता …

82 haskell  monads  composition  proof 

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

11 haskell  monads  continuations  category-theory  comonad 

मैं कुछ अलग तरह के राज्यों के साथ राज्य मशीनों के एक परिवार को परिभाषित करने की कोशिश कर रहा हूं। विशेष रूप से, अधिक "जटिल" राज्य मशीनों में राज्य होते हैं जो सरल राज्य मशीनों के राज्यों को मिलाकर बनते हैं। (यह ऑब्जेक्ट ओरिएंटेड सेटिंग के समान है जहां …

9 haskell  state  monads  monad-transformers  state-monad 

मैं वास्तव में कॉलसीसी समझने के साथ वास्तव में संघर्ष कर रहा हूं। मुझे कंटीन्यू की शक्ति मिलती है और मैं अपने कुछ प्रोजेक्ट्स में कॉन्सेप्ट का इस्तेमाल कूल कॉन्सेप्ट बनाने में कर रहा हूं। लेकिन कभी भी मुझे इससे अधिक क्षमताओं के साथ कुछ का उपयोग करने की आवश्यकता …

9 haskell  functional-programming  monads