algebraic-data-types

14गर्मी

1उत्तर

पॉलिमॉर्फिज्म के साथ सख्त फ़ील्ड कैसे अनपॅक करते हैं?

{-# UNPACK #-} प्रज्ञा अनावश्यक रचनाकारों को खत्म करने के लिए संकलक को बताती है। का हवाला देते हुए Haskell wiki: उदाहरण के लिए, यह देखते हुए इस: data T = T {-# UNPACK #-} !(Int,Float) GHC प्रकार टी

16गर्मी

1उत्तर

उन फ़ील्ड को कैसे जोड़ें जो केवल एडीटी को कुछ कैश करते हैं?

अक्सर मुझे एडीटी में फ़ील्ड जोड़ने की आवश्यकता होती है जो केवल कुछ अनावश्यक जानकारी को याद करती है। लेकिन मैंने पूरी तरह से यह समझ नहीं लिया है कि इसे अच्छी तरह से और कुशलता से कैसे किया जाए। समस्या द

5गर्मी

2उत्तर

हास्केल के बीजगणितीय डेटा प्रकार: "छद्म-विस्तार"

मैं हैकेल में बीजगणित डीटी के बारे में सीख रहा हूं। मैं जो करना चाहता हूं वह एक नया एडीटी बनाता है जो कि मौजूदा "विस्तार" करता है। मुझे यह नहीं पता कि मैं जो चाहूं उसे व्यक्त करना है, क्या कोई वैकल्पि

16गर्मी

2उत्तर

क्यों अपरिवर्तनीय डेटाटाइप प्रकारों को प्रतिबंधित करते हैं जैसे 'डेटा खराब ए = सी (खराब ए -> ए)' जहां टाइप रिकर्सन के सामने होता है ->?

AGDA Inductive Data Types and Pattern Matching राज्यों पर मैनुअल: सामान्य सुनिश्चित करने के लिए आगमनात्मक घटनाओं सख्ती से सकारात्मक स्थानों पर दिखाई देने चाहिए। उदाहरण के लिए, निम्नलिखित डेटाप्रकार अन

98गर्मी

8उत्तर

आप हास्केल में ग्राफ का प्रतिनिधित्व कैसे करते हैं?

बीजगणित डेटा प्रकारों का उपयोग करके हैकेल में पेड़ या सूची का प्रतिनिधित्व करना काफी आसान है। लेकिन आप ग्राफिक रूप से ग्राफ का प्रतिनिधित्व करने के बारे में कैसे जाएंगे? ऐसा लगता है कि आपको पॉइंटर्स ह

15गर्मी

2उत्तर

डेटा और नए प्रकार के बीच आलस्य/कठोरता

मैं समझने के लिए संघर्ष कर रहा हूं कि इन दो स्निपेट तथाकथित "गरीब व्यक्ति के सख्त विश्लेषण" के तहत अलग-अलग परिणाम क्यों उत्पन्न करते हैं। पहला उदाहरण का उपयोग करता है data (एक सही अनुप्रयोगी उदाहरण मा

14गर्मी

2उत्तर

हम डेटाटाइप को फ़ंक्शन के रूप में एन्कोड करने के लिए फ़ोल्डर्स का उपयोग क्यों करते हैं?

या विशिष्ट होने के लिए, हम संख्याओं को एन्कोड करने के लिए सूचियों और पुनरावृत्ति को एन्कोड करने के लिए फ़ोल्डर का उपयोग क्यों करते हैं? लंबे समय से परिचय के लिए खेद है, लेकिन मुझे वास्तव में उन चीज़ों

5गर्मी

2उत्तर

मैं एडीटी का एक अनबॉक्स उदाहरण कैसे बना सकता हूं?

मुझे ऐसे संसाधनों को खोजने में परेशानी हो रही है जो एक अनबॉक्स किए गए वेक्टर में उपयोग के लिए मेरे डेटा प्रकारों को अनबॉक्स किए जाने के लिए काम करते हैं। मैं डेटा प्रकार data Color = Yellow | Red | Gr

13गर्मी

1उत्तर

क्या रनटाइम पर जंग कोड उत्पन्न करना और निष्पादित करना संभव है?

का उपयोग करना सी, कार्यावधि में, मैं कर सकते हैं: एक समारोह के स्रोत कोड बनाएँ, जीसीसी के लिए कॉल बाहर एक .so (लिनक्स) (या उपयोग LLVM, आदि) के लिए यह संकलन करने , .so लोड, और कॉल समारोह। जंग में एक ऐस

8गर्मी

2उत्तर

हास्केल डेटा प्रकार उपनाम नाम

मैंने हास्केल में गणितीय Vector मॉड्यूल लिखा था। तो मैं के साथ बाहर शुरू कर दिया: data Vector a = Vector !a !a !a deriving (Eq, Show) फाइन-यह मुझे किसी भी संख्यात्मक डेटा प्रकार मैं चाहता हूँ का उपय