हास्केल "न्यू एक्स" को "एक्स दिखाएं" की आवश्यकता क्यों है?

Question

हाल ही में मैंने LYAH का उपयोग करके हास्केल पर एक नज़र डाली।

मैं चारों ओर प्रकार वर्गों के साथ खिलवाड़ किया गया था और इस त्वरित परीक्षण समारोह लिखा है:

foo :: (Num x) => x -> String 
foo x = show x ++ "!" 

लेकिन वह इस त्रुटि पैदा करता है:

test.hs:2:9: 
    Could not deduce (Show x) arising from a use of `show' 
    from the context (Num x) 
    bound by the type signature for foo :: Num x => x -> String 
    at test.hs:1:8-29 
    Possible fix: 
     add (Show x) to the context of 
     the type signature for foo :: Num x => x -> String 

लेकिन अनुसार LYAH रहे हैं:

To join Num, a type must already be friends with Show and Eq.

तो अगर Num में सब कुछ Show औरका सबसेट है, इस काम के लिए मुझे टाइप हस्ताक्षर को foo :: (Num x, Show x) => x -> String में बदलने की आवश्यकता क्यों है? क्या यह अनुमान लगाना संभव नहीं है कि Num भी दिखाया जा सकता है?

Answer 1

LYAH में जानकारी पुरानी है। release notes for GHC 7.4.1 का कहना है कि:

The Num class no longer has Eq or Show superclasses.

आप लिखने के लिए की आवश्यकता होगी,

foo :: (Num x, Show x) => x -> String 

(वास्तव में, foo आप ने लिखा Num x की आवश्यकता नहीं है, तो आप छोड़ सकते हैं कि एक अनावश्यक बाधा से बचने के लिए।)

Answer 2

आप लिख नहीं चाहिए:

(Num x) => x -> String 

के बजाय

(Num x) x -> String 

और जहाँ तक मुझे पता है इस विरासत को कम से कम पुरानी हो चुकी है।

Answer 3

यह used to be कि Num का एक उदाहरण भी Show और Eq का एक उदाहरण था, लेकिन है कि no longer the case है।

आपको Show बाधा भी जोड़नी होगी।

Answer 4

हास्केल, 98 और 2010 दोनों को नम के सभी उदाहरणों को शो और ईक पर भी उदाहरणों की आवश्यकता होती है। यह काफी हद तक इतिहास का दुर्घटना है।

जीएचसी, सबसे लोकप्रिय हास्केल कंपाइलर, यहां किसी भी प्रगति की आवश्यकता के बिना मानक से अलग हो जाता है। यह आवेदक फंक्चर को न्यूम के उदाहरण होने और ओवरलोडेड सिंटैक्स के लाभों का आनंद लेने के लिए किया गया था।