monads

7गर्मी

1उत्तर

पर मैप करने का फ़ंक्शन मैं अक्सर maybe (return()) someFunc someMaybe फ़ॉर्म के अभिव्यक्तियों का उपयोग करता हूं। hoogle पर फ़ंक्शन Monad m => (a -> m()) -> Maybe a -> m() के लिए खोज एक विशिष्ट परिणाम न

10गर्मी

3उत्तर

मैं इस मोनैड ट्रांसफॉर्मर को निरंतरता के साथ कैसे कार्यान्वित कर सकता हूं?

प्रेरणा। मैं एक विशेष निर्देश f <||> g के साथ एक मोनैड ट्रांसफॉर्मर बनाने की कोशिश कर रहा हूं जिसका अर्थ है "10 के साथ, इस बार f के साथ इस पूरे ब्लॉक को दोहराएं, अगली बार g"। यह एक डीएसएल परिवर्तन के

11गर्मी

4उत्तर

किसी ने भी मुश्किल हास्केल अभ्यास की एक सूची देखी?

क्या कोई मुश्किल हास्केल अभ्यास की कोई सूचियां हैं जो मोनैड का उपयोग आश्चर्यजनक तरीकों से घूमती हैं? मुझे सरलता में 'दिलचस्पी है कि कोड की यह पंक्ति क्या है' या 'इस मोनैड' प्रकार के प्रश्नों का उपयोग

7गर्मी

1उत्तर

क्या मोनैड हैं जिन्हें एक automaton की तरह इस्तेमाल किया जा सकता है?

मैं कुछ इनपुट डेटा प्रकार से एक आउटपुट डेटा प्रकार में स्ट्रीम ट्रांसफॉर्मर लिख रहा हूं। इनपुट उपयोगकर्ता द्वारा किया जाता है, इसलिए घटनाओं के बीच कुछ समय होता है। चूंकि प्रत्येक इनपुट को कुछ संसाधन ल

19गर्मी

8उत्तर

एक फंक्टर के विपरीत, एक मोनाड आकार बदल सकता है?

मैंने हमेशा एक मकसद के सापेक्ष एक मोनैड की शक्ति के निम्नलिखित अंतर्ज्ञानी स्पष्टीकरण का आनंद लिया है: एक मोनड आकार बदल सकता है; एक मजेदार नहीं कर सकता। उदाहरण के लिए: length $ fmap f [1,2,3] हमेशा 3

5गर्मी

1उत्तर

तीर/एचएफटी और टाइप हस्ताक्षर

मैं हास्केल में तीर सीखने की कोशिश कर रहा हूं, इसलिए मैं एक्सएमएल के लिए तीर आधारित एचएफटी लाइब्रेरी के साथ एक साधारण एप्लिकेशन लिख रहा हूं। HXT विकीज़ और ट्यूटोरियल में उदाहरण फ़ंक्शन प्रकार हस्ताक्ष

15गर्मी

3उत्तर

आईओ

में एक हो सकता है कि मूल्य निकाला जा रहा है निम्नलिखित को देखते हुए: > (liftM2 fromMaybe) (ioError $ userError "OOPS") (return $ Just "ok") GHCi मुझे *** Exception: user error (OOPS) बेशक देता है,

17गर्मी

3उत्तर

प्रगति ट्रैकिंग के लिए मोनाड ट्रांसफार्मर

मैं एक मोनैड ट्रांसफार्मर की तलाश में हूं जिसका उपयोग किसी प्रक्रिया की प्रगति को ट्रैक करने के लिए किया जा सकता है। मुझे पता है step क्योंकि monadic कानूनों की स्पष्ट रूप से मौजूद नहीं है, और task है

29गर्मी

7उत्तर

मोनैडिक एक्शन से मूल्य निकालने के लिए कैसे करें

क्या हस्ताक्षर :: (Monad m) => m a -> a के साथ एक अंतर्निहित फ़ंक्शन है? होगल बताता है कि ऐसा कोई कार्य नहीं है। क्या आप समझा सकते हैं क्यों?

5गर्मी

2उत्तर

हास्केल monads और एक विफल है कि एक स्ट्रिंग की आवश्यकता नहीं है

मेरे पास हैस्केल में त्रुटियों से निपटने के लिए निम्नलिखित मोनैड ट्रांसफॉर्मर है। instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = Either