अंक बनाम इंटीग्रल

Question

यह समारोह:

hola :: (Integral a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf" 

ठीक काम करता है। लेकिन इस एक:

hola :: (Num a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf" 

संकलित नहीं किया जा सकता: "अनुमान नहीं किया जा सका (Eq क) शाब्दिक` 1 'से उत्पन्न होने वाली "

मैं वास्तव में यह नहीं मिलता है। मैं एक ट्यूटोरियल जहां यह कहा

"इंटीग्रल भी एक अंकीय typeclass है पढ़ रहा हूँ। Num वास्तविक संख्या और अभिन्न नंबर सहित सभी नंबरों को भी शामिल है, इंटीग्रल केवल अभिन्न (पूरे) संख्या भी शामिल है। इस typeclass में हैं इंट और पूर्णांक। " http://learnyouahaskell.com/types-and-typeclasses

मैं नम का उपयोग क्यों नहीं कर सकता?

Answer 1

यह आधार पैकेज के नवीनतम संस्करण में हाल ही में एक परिवर्तन proposed and accepted in September/October last year है,, Eq और Show नहीं रह गया है Num की सुपर-क्लास कर रहे हैं। उस परिवर्तन के बाद से, भाषा रिपोर्ट का कोई नया संस्करण प्रकाशित नहीं हुआ है, इसलिए यह अभी तक रिपोर्ट में नहीं है। और हाल ही में, इसने इसे अभी तक कई ट्यूटोरियल या किताबों में नहीं बनाया है।

एक संख्यात्मक शाब्दिक के खिलाफ "पैटर्न मिलान" (==) का एक निहित अनुप्रयोग है, इसलिए Eq उदाहरण के लिए काम करने की आवश्यकता है। उस उदाहरण को अब Num बाधा से अनुमानित नहीं किया जा सकता है, इसलिए (काफी नया: डी) कंपाइलर केवल Num बाधा के साथ कोड को अस्वीकार कर देता है।

लेकिन IntegralReal का एक उपवर्ग एक सुपर क्लास के रूप में जो Ord (और इसलिए Eq) है, है, इसलिए है कि काम करता है।

Answer 2

के रूप में डैनियल फिशर ने कहा, यह काम करता था लेकिन अब यह काम नहीं करता है क्योंकि Num और Eq विभाजित किया गया तो Num aEq a अब तात्पर्य नहीं है। अपने कोड को ठीक करने के लिए बस Eq a स्पष्ट करें:

hola :: (Num a, Eq a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf"