monads

7गर्मी

1उत्तर

स्कालाज़ - समझने के लिए सूची और राज्य मोनाड का संयोजन

मैं अपने स्कैला कोड में मोनाडिक शैली का उपयोग शुरू करने की योजना बना रहा हूं, दूसरों के बीच, थ्रेडिंग स्टेटस। यहां 3 monadic कार्यों के संयोजन (और दुष्प्रभावों के बारे में केवल देखभाल) के एक सरल उदाहर

scala monads scalaz monad-transformers scalaz7 2012-12-11

---

13गर्मी

1उत्तर

लेखक का आलसी/सख्त संस्करण होने का क्या मतलब है?

हास्केल में दो अलग-अलग लेखक-प्रकार के मोनैड क्यों हैं? मेरे लिए सहजता से, "सख्त लेखक मोनैड" पढ़ने का अर्थ है कि <> सख्त है, ताकि लॉग में कोई थंक बिल्डअप न हो। हालांकि, स्रोत कोड देख, यह पता चला है कि

haskell monads monad-transformers writer 2013-02-01

---

20गर्मी

2उत्तर

क्या कोई चीज़ "सेमी-मोनैड" या "काउंटर-मोनड" कहती है?

ठीक है, मैं हास्केल मोनाड्स का अध्ययन कर रहा हूं। जब मैंने विकीबूक Category theory आलेख पढ़ा, तो मैंने पाया कि मोनैड मॉर्फिज़्म का हस्ताक्षर तर्क में tautologies की तरह दिखता है, लेकिन आपको M a से ~~A

haskell monads category-theory 2012-12-20

---

7गर्मी

1उत्तर

इंडेक्स-कोर स्टाइल अनुक्रमित निरंतरता मोनैड

को कार्यान्वित करने के लिए मैं हाल ही में अनुक्रमित मोनैड को देख रहा हूं (और समझने की कोशिश कर रहा हूं)। मुझे लगता है कि मेरे पास इंडेक्सेड मोनैड की एक शैली के आसपास मेरा सिर है, जैसा कि यहां बताया गय

haskell monads 2012-12-23

---

21गर्मी

1उत्तर

नियंत्रण क्या है। आवेदन। लिफ्ट के लिए उपयोगी है?

मैंने हाल ही में ब्लॉग पोस्ट में transformers लिखा था, और किसी ने पूछा "लोग Control.Applicative.Lift का उपयोग किसके लिए करते हैं?" मैं इसका उत्तर देने में सक्षम नहीं था, इसलिए मैं स्टैक ओवरफ्लो को प्र

haskell monads monad-transformers applicative 2012-12-24

---

7गर्मी

1उत्तर

हार्सेल मोनाड

के रूप में कछुए ग्राफिक्स मैं हास्केल में turtle graphics को लागू करने की कोशिश कर रहा हूं। लक्ष्य इस तरह एक समारोह में लिखने के लिए सक्षम होने के लिए है: draw_something = do forward 100 rig

haskell monads turtle-graphics 2012-11-11

---

11गर्मी

5उत्तर

हास्केल: गणना "एक मोनड में" - जिसका अर्थ है?

monads के बारे में पढ़ने में, मैं "Xyz monad में computations" जैसे वाक्यांश देख रहा हूं। गणना के लिए एक निश्चित मोनैड "इन" होने का क्या अर्थ है? मुझे लगता है कि मेरे पास मोनैड के बारे में एक उचित समझ

haskell monads computation 2013-02-22

---

9गर्मी

1उत्तर

हास्केल मानक पुस्तकालय में कोई << क्यों नहीं है?

Monad वर्ग एक >> विधि है, जो दो monadic कार्रवाई अनुक्रम को परिभाषित करता है: >> :: Monad m => m a -> m b -> m b बाध्यकारी ऑपरेटर >>= है एक फ़्लिप तर्क बराबर, =<<; जैसा कि मोनैडिक फ़ंक्शन कंपोज़िशन

haskell monads 2013-01-05

---

7गर्मी

4उत्तर

अन्य विकल्प ऑब्जेक्ट के अंदर स्कैला विकल्प ऑब्जेक्ट

मेरे पास एक मॉडल है, जिसमें कुछ विकल्प फ़ील्ड हैं, जिनमें एक और विकल्प फ़ील्ड हैं। उदाहरण के लिए: case class First(second: Option[Second], name: Option[String]) case class Second(third: Option[Third]

scala option monads scalaz 2013-02-27

---

5गर्मी

1उत्तर

जावा 6 में मोनड व्यक्त करने का सामान्य मामला है?

जावा 6 में मोनड व्यक्त करने का सामान्य मामला है? "सामान्य मामला" शब्द नोट करें — यह संभव हो सकता है कि मोनड का सामान्य मामला स्पष्ट नहीं है, हालांकि मोनड के कई विशेष मामले (यानी कई विशिष्ट मोनैड) स्पष

java generics haskell monads higher-kinded-types 2012-11-25

---