arrows

5गर्मी

5उत्तर

क्या मैं तीर के बिना एक जोड़ी का पहला तत्व मैप कर सकता हूं?

मैं मज़दूरों, आवेदक मज़दूरों पर नजर रख रहा हूं ... मुझे यकीन नहीं है कि मैं कहां से प्राप्त करना चाहता हूं, लेकिन मुझे यह महसूस हो रहा है कि प्रकारों के बाद मुझे करीब आना चाहिए। क्या map -alike बनाने

12गर्मी

2उत्तर

हास्केल के तीर-क्लास AGDA में और -> AGDA

में मेरे पास दो निकट से संबंधित प्रश्न: सबसे पहले, कैसे हास्केल के तीर वर्ग तैयार किया जा सकता/AGDA में प्रतिनिधित्व? class Arrow a where arr :: (b -> c) -> a b c (>>>) :: a b c -> a c d -

7गर्मी

2उत्तर

टस्कल्स के अंदर हास्केल तीर

मैं एक ट्यूपल को क्रेट करना चाहता हूं, जिसमें एक तीर और तीर है जो तीर का वर्णन करती है। funTimes10 = (*10) describe10 = "times 10" tuple10 :: (Num b) => ((b -> b), String) tuple10 = (,) funTimes10

10गर्मी

2उत्तर

विशेष ब्रैकेट (| ... |) desugar क्या करते हैं?

मैंने arrow notation documentation page पढ़ा है, लेकिन यह मुझे पूरी तरह से स्पष्ट नहीं है कि "पाइप ब्रैकेट" "7.10.3" के तहत उपयोग किया जाता है। अपने स्वयं के नियंत्रण संरचनाओं को परिभाषित करना "desuga

17गर्मी

3उत्तर

गणना निर्माण (मोनाड्स, तीर, इत्यादि)

मैं हस्केल में गणना कैसे मॉडलिंग के बारे में दिलचस्पी लेता हूं। कई संसाधनों ने मोनैड को "संगत गणना" और तीरों को "गणना के सार दृश्य" के रूप में वर्णित किया है। मैंने इस तरह से वर्णित मोनोइड्स, मकान या

11गर्मी

2उत्तर

तीरों का क्रिएटिव उपयोग

मैंने पोस्ट Creative uses of monads पोस्ट किया है, जो बहुत ही रोचक विचारों और संदर्भों में भीड़ है, इसलिए मुझे उत्सुकता मिली: तीरों के बारे में क्या? मैं मूलभूत या "मानक" उपयोगों (जैसे monads vs arrow

7गर्मी

1उत्तर

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

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

5गर्मी

1उत्तर

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

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

20गर्मी

2उत्तर

ArrowLoop.loop की यह परिभाषा कैसे काम करती है?

ArrowLoop के लिए समारोह उदाहरण शामिल loop :: ((b,d) -> (c,d)) -> (b -> c) loop f b = let (c,d) = f (b,d) in c सबसे पहले मैं हस्ताक्षर के साथ एक समस्या है: कैसे हम संभवतः (b,d) -> (c,d) से b -> c मि

14गर्मी

1उत्तर

मानचित्र एम के बराबर तीर एम?

मैं & तीर के साथ काम करने की कोशिश कर रहा हूं, और मुझे कुछ कठिनाई हो रही है। मेरे पास एक संदर्भ है जहां मुझे Arrow [a] [b] की आवश्यकता है, और मैं Arrow a b लिखना चाहता हूं और तीर के अंदर नक्शा/अनुक्रम