रिकॉर्ड के हास्केल "आश्रित" फ़ील्ड?

Question

मैं निम्नलिखित रिकॉर्ड परिभाषित मिल गया है:

data Option = Option { 
    a :: Maybe String, 
    b :: Either String Int 
} deriving (Show) 

मेरे लिए वैसे भी वहाँ है लागू करने के लिए है कि जब एक Nothing है, ख एक Left होना चाहिए और जब एक Just है, ख एक Right होना चाहिए? शायद प्रेत के प्रकार, या कुछ और के साथ? या क्या मुझे पूरी चीज़ को किसी और के अंदर लपेटना चाहिए और इसे Either String (String, Int) बनाना चाहिए?

Answer 1

तुम सिर्फ दो संभावित आकार के लिए दो कंस्ट्रक्टर्स उपयोग करना चाहिए:

data Option = NoA String | WithA String Int 

बेशक, आप उन्हें बेहतर नाम, वे क्या प्रतिनिधित्व के आधार पर देना चाहिए। प्रेत प्रकार निश्चित रूप से यहां अधिक हैं, और मैं Either से बचने का सुझाव दूंगा - Left और Right बहुत ही स्वयं-दस्तावेज निर्माता नाम नहीं हैं।

यह समझ में आता है, तो एक ही डेटा प्रतिनिधित्व के रूप में दोनों ख क्षेत्र के किसी भी शाखाओं व्याख्या करने के लिए, तो आप एक समारोह है कि इस व्याख्या को दर्शाता है परिभाषित करना चाहिए:

b :: Option -> MeaningOfB 
b (NoA s) = ... 
b (WithA t n) = ... 

आप क्षेत्रों है कि एक ही नहीं रहना है, तो कोई फर्क नहीं पड़ता कि पसंद क्या है, आपको उन सभी के साथ एक नया डेटा प्रकार बनाना चाहिए, और इसे दोनों रचनाकारों में शामिल करना चाहिए। यदि आप प्रत्येक कन्स्ट्रक्टर को रिकॉर्ड बनाते हैं, तो आप सामान्य क्षेत्र को प्रत्येक कन्स्ट्रक्टर में एक ही नाम दे सकते हैं, ताकि आप इसे किसी भी Option मान से पैटर्न-मिलान के बिना निकाल सकें।

असल में, का अर्थ यह है कि स्ट्रिंग के लिए का मतलब नहीं है: यह अन्य फ़ील्ड के बारे में क्या बदलता है, और यह क्या रहता है? संबंधित रचनाकारों में जो भी बदलाव होना चाहिए; जो कुछ भी रहता है उसे अपने ही प्रकार में फैलाया जाना चाहिए। (यह सामान्य रूप से एक अच्छा डिजाइन सिद्धांत है!)

यदि आप ओओपी पृष्ठभूमि से आते हैं, तो आप विरासत की बजाय संरचना के तर्क के संदर्भ में इसके बारे में सोच सकते हैं - लेकिन समानता को बहुत दूर नहीं ले जाने का प्रयास करें।