जीएचसी मोनॉयड के लिए उदाहरण क्यों नहीं प्राप्त कर सकता है?

Question

जीएचसी में कुछ भाषा झंडे हैं, जैसे कि DeriveFunctor, DeriveDataTypeable इत्यादि, जो हास्केल 98 में अनुमत लोगों के अलावा अन्य प्रकार के वर्गों के लिए व्युत्पन्न उदाहरणों की कंपाइलर पीढ़ी को सक्षम बनाता है। यह विशेष रूप से Functor जैसे कुछ के लिए समझ में आता है, जहां उस वर्ग के नियम एक स्पष्ट, "प्राकृतिक" व्युत्पन्न उदाहरण निर्देशित करें।

तो Monoid के लिए क्यों नहीं? (स्यूडोकोड बहाना)

data T = MkT a b c ... 

एक यंत्रवत् एक Monoid उदाहरण उत्पादन कर सकता है:: यह एक एकल डेटा निर्माता के साथ किसी भी डेटा प्रकार के लिए की तरह लगता है

instance (Monoid a, Monoid b, Monoid c, ...) => Monoid T where 
    mempty = 
    MkT mempty mempty mempty ... 
    mappend (MkT a1 b1 c1 ...) (MkT a2 b2 c2 ...) = 
    MkT (mappend a1 a2) (mappend b1 b2) (mappend c1 c2) ... 

मुझे पता कर रहा हूँ कि derive पैकेज provides this, लेकिन मेरा सवाल विशेष रूप से यह है कि क्या कोई कारण है कि जीएचसी क्यों नहीं करता है।

Answer 1

यह वास्तव में एक मनमाने ढंग से निर्णय है कि Monoid प्राप्त करने में सक्षम नहीं है, लेकिन मोनोइड्स भी बहुत सामान्य हैं इसलिए आमतौर पर एक प्रकार का मोनॉयड बनाने के कई तरीके होते हैं। यहाँ एक उदाहरण है:

data T = A | B | C deriving (Eq, Ord, Enum) 

type Mon a = (a, a -> a -> a) 

m1, m2, m3, m4 :: Mon T 
m1 = (A, max) 
m2 = (C, min) 
m3 = (A, \ x y -> toEnum $ (fromEnum x + fromEnum y) `rem` 3) 
m4 = (B, f4) 
f4 A _ = A 
f4 B x = x 
f4 C _ = C 

यह (Mon इकाई और बाइनरी आपरेशन युक्त) T एक monoid बनाने के लिए चार उचित तरीके को दर्शाता है। पहला अधिकतम लेने से मोनॉयड होता है, दूसरा मोनोइड न्यूनतम लेने से, तीसरा मोनोइड मॉड्यूलो 3 अंकगणित से होता है, और चौथाई Ordering प्रकार के लिए इस्तेमाल किया जाने वाला मोनोइड होता है। प्राकृतिक तरीके के रूप में वास्तव में कुछ भी नहीं खड़ा है।

Answer 2

आप इसे Num और कुछ अन्य कक्षाओं के लिए भी पूछ सकते हैं। यह अपरिहार्य होगा: अन्य सभी मानक व्युत्पन्न एकाधिक रचनाकारों के साथ डेटा प्रकारों के लिए काम करते हैं।

एक प्रतिस्थापन के रूप में, आप newtype T = MkT (a,b,c) deriving Monoid प्राप्त करने वाले नए प्रकार का उपयोग कर सकते हैं।

इसी तरह के विस्तार: आप खाली डेटाटाइप लगभग हर प्रकार की कक्षा का एक उदाहरण बना सकते हैं।

deriving क्लॉज हमेशा हास्केल का विज्ञापन और असुविधाजनक हिस्सा था, क्योंकि यह केवल पूर्व परिभाषित कक्षाओं के लिए काम करता था। और भी अधिक विज्ञापन-विस्तार जोड़ना भाषा को जटिल करेगा। इसके बजाए, जीएचसी को हाल ही में generic deriving के लिए समर्थन मिला है।