क्या हास्केल के प्रकार वर्गों में बाधाओं को लागू करने का कोई तरीका है?

Question

क्या कक्षाओं में बाधाओं को लागू करने के लिए कोई तरीका है (कोई रास्ता)?

मैं जो बात कर रहा हूं उसके उदाहरण के रूप में, मान लीजिए कि मैं एक समूह को एक प्रकार के वर्ग के रूप में कार्यान्वित करना चाहता हूं।

class Group a where 
    product :: a -> a -> a 
    inverse :: a -> a 
    identity :: a 

लेकिन उन किसी भी काम करता है नहीं कर रहे हैं, लेकिन वे कुछ बाधाओं से संबंधित होना चाहिए: तो एक प्रकार का एक समूह है, तो वहाँ तीन कार्य हैं होगा। उदाहरण के लिए:

product a identity = a 
product a (inverse a) = identity 
inverse identity = identity 

आदि ...

वहाँ वर्ग की परिभाषा में बाधा इस तरह लागू करने के लिए इतना है कि किसी भी घटना स्वचालित रूप से इसे वारिस होगा कोई तरीका है? - वास्तव में, सी 2 के साथ ही संभव समूह है

data C2 = E | C 

instance Group C2 where 
     identity = E 
     inverse C = C 

यह दो परिभाषा विशिष्ट निर्धारित करता है सी 2 (बाधाओं से ऊपर सभी संभव आपरेशनों को परिभाषित: एक उदाहरण के रूप में, मैं सी 2 समूह, द्वारा परिभाषित लागू करना चाहते हैं मान लें कि बाधाओं के कारण दो तत्व)। क्या यह काम करने का कोई तरीका है?

Answer 1

क्या इस तरह की बाधा को लागू करने का कोई तरीका है?

संबहुत सारे लोगों के इसके लिए पूछ किया गया है, शानदार टोनी होरे सहित, लेकिन कुछ भी अभी तक क्षितिज पर दिखाई देता है।

यह समस्या Haskell Prime समूह के लिए चर्चा का एक उत्कृष्ट विषय होगा। अगर किसी ने एक अच्छा प्रस्ताव जारी किया है, तो शायद वहां पाया जा सकता है।

पीएस यह एक महत्वपूर्ण समस्या है!

Answer 2

प्रकार कक्षाओं में परिभाषाएं और घोषणाएं हो सकती हैं। उदाहरण:

class Equality a where 
    (?=), (!=) :: a -> a -> Bool 

    a ?= b = not (a != b) 
    a != b = not (a ?= b) 

instance Eq a => Equality a where 
    (?=) = (==) 

test = (1 != 2) 

आप यह भी निर्दिष्ट विशेष की कमी सादा हास्केल में (उन्हें कानूनों कॉल) कर सकते हैं, लेकिन यह गारंटी है कि संकलक उनका उपयोग नहीं करेगा नहीं है। एक आम उदाहरण monadic laws

Answer 3

कुछ मामलों में आप QuickCheck का उपयोग कर गुण निर्दिष्ट कर सकते हैं। यह वास्तव में प्रवर्तन नहीं है, लेकिन यह आपको सामान्य परीक्षण प्रदान करने देता है कि सभी उदाहरण पास होना चाहिए। Eq के साथ उदाहरण के लिए आप कह सकते हैं:

prop_EqNeq x y = (x == y) == not (x != y) 

बेशक यह उदाहरण लेखक इस परीक्षण कॉल करने के लिए अप करने के लिए अभी भी है।

मोनैड कानूनों के लिए ऐसा करना दिलचस्प होगा।