monads

7गर्मी

3उत्तर

अनियमित लैम्ब्डा कैलकुस

में उच्च प्रकार के प्रकार (मोनैड!) को एम्बेड करना उच्च आदेश कार्यों के माध्यम से अनियमित लैम्ब्डा कैलकुस में विभिन्न प्रकारों को एन्कोड करना संभव है। Examples: zero = λfx. x one = λfx. fx two = λ

haskell functional-programming monads lambda-calculus untyped-variables 2012-01-19

---

9गर्मी

2उत्तर

क्या पहले से ही कार्यात्मक सी #/.NET संरचनाओं में इनका निर्माण किया गया है? जी (एच()), या

public static Func<V> To<T, V>(this Func<T> g, Func<T, V> h) { return() => h(g()); } public static Func<T> ToIdentity<T>(this T t) { return() => t; } कभी-कभी मूल्यांकन में देरी करते

c# .net functional-programming monads 2012-01-23

---

9गर्मी

4उत्तर

हास्केल में विलय/संलग्न जस्ट्स

मैं ऐसा करने की कोशिश कर रहा हूं जो हास्केल में अंधेरे से स्पष्ट होना चाहिए, जो Just [1] और Just [2] से Just [1, 2] पर जा रहा है। हालांकि मुझे कुछ भी ऑनलाइन नहीं मिल रहा है क्योंकि मैं संबंधित लेकिन अ

haskell monads applicative maybe 2012-01-24

---

10गर्मी

1उत्तर

हास्केल: Data.Random

में एक RVar से बाहर एक मूल्य हो रही है मैं कैसे की तरह एक प्रकार हस्ताक्षर के साथ एक समारोह लिख सकता हूँ: sample :: Int -> [a] -> RVar [a] के मामले में mySample :: StdGen -> Int -> [a] -> [a] जहां

haskell random monads 2012-01-25

---

11गर्मी

1उत्तर

"दो monads के उत्पाद" प्रभाव को कैसे प्राप्त करें?

मान लीजिए कि हमारे पास दो monads, m और m' हैं। अब,, मान लीजिए हम वैरिएबल नहीं -- in real problems, the restriction is some subclass MyMonad, so don't worry -- if it's the case here that mx and f must

haskell monads 2012-01-26

---

13गर्मी

1उत्तर

दो मोनादों को मिलाएं जब न तो ट्रांसफार्मर हो?

मैं एक वेब ऐप लिखने के साथ खेल रहा हूं। इस मामले में, मैं scotty और redis का उपयोग कर रहा हूं, लेकिन यह समस्या किसी भी वेब/डीबी कॉम्बो में आती है। मैंने इससे पहले खुशहाली का इस्तेमाल किया, इसलिए मुझे

haskell monads monad-transformers 2012-01-27

---

45गर्मी

2उत्तर

मोनाड ट्रांसफॉर्मर्स के साथ लिफ्ट से बचें

मुझे एक समस्या है जो आईओ पर एमटी (या यहां तक ​​कि एक मीट्रिक टन) के ढेर का उपयोग करके बहुत अच्छी तरह से फिट बैठता है। सब कुछ अच्छा है सिवाय इसके कि प्रत्येक कार्रवाई से पहले लिफ्ट का उपयोग करना बहुत प

haskell monads monad-transformers 2012-01-29

---

6गर्मी

2उत्तर

हैकेल

में राज्य के विभिन्न, इंटरैक्टिंग स्तर मैं 4 बिट माइक्रोप्रोसेसर अनुकरण कर रहा हूं। मुझे रजिस्टरों, मेमोरी और चलने वाले आउटपुट (बेंच पॉइंट्स को फ़ेच-निष्पादित चक्र काउंटर के लिए भी ट्रैक रखने की आवश्य

haskell state monads monad-transformers state-monad 2012-02-01

---

15गर्मी

2उत्तर

कैसे दिखाया जाए कि एक मोनड एक मजेदार और आवेदक मज़ेदार है?

मोनाड सैद्धांतिक रूप से मज़दूरों और विशेष रूप से आवेदक फंक्शंस का उप-समूह माना जाता है, भले ही यह हास्केल के प्रकार प्रणाली में इंगित न हो। है कि एक इकाई को जानने का, दिया जाता है और return और bind, क

haskell monads functor applicative 2012-02-01

---

11गर्मी

2उत्तर

पहचानटी ट्रांसफार्मर का उद्देश्य क्या है?

ट्रांसफॉर्मर पैकेज को देखते हुए, मुझे यह मोनड ट्रांसफार्मर मिला जिसे IdentityT कहा जाता है। हालांकि मैं समझ कैसे पहचान इकाई प्रयोग किया जाता है और कैसे इकाई ट्रांसफार्मर काम सामान्य रूप में, मैं पता न

haskell monads monad-transformers 2012-02-03

---