ghci मुझे ragequitting के बजाय "1 ++ 2" के लिए एक प्रकार क्यों देता है?

Question

GHCi 1 ++ 2 के लिए मुझे एक प्रकार दे देंगे:

$ ghci 
GHCi, version 7.4.2: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> :t 1 ++ 2 
1 ++ 2 :: Num [a] => [a] 

लेकिन यह स्पष्ट रूप से गलत है। यदि मैं इसे जांचने और मूल्यांकन करने के बजाय, इसे टाइप करने की बजाय, चीजों को सही ढंग से विफल करता हूं:

Prelude> 1 ++ 2 

<interactive>:3:1: 
    No instance for (Num [a0]) 
     arising from the literal `1' 
    Possible fix: add an instance declaration for (Num [a0]) 
    In the first argument of `(++)', namely `1' 
    In the expression: 1 ++ 2 
    In an equation for `it': it = 1 ++ 2 

क्या देता है?

Answer 1

लेकिन यह स्पष्ट रूप से गलत है।

नहीं, यह पूरी तरह से सही है।

(++) के प्रकार

(++) :: [a] -> [a] -> [a] 

है और पूर्णांक शाब्दिक के प्रकार

1 :: Num n => n 

तो प्रकार [a] है कि (++) का एक तर्क प्रकार Num n => n के साथ एकीकृत किया गया है चाहिए कि एक शाब्दिक है है,

1 ++ 2 :: Num [a] => [a] 

और यदि आपके पास Num उदाहरण के साथ एक सूची प्रकार है, तो उस अभिव्यक्ति का भी मूल्यांकन किया जा सकता है।

लेकिन, डिफ़ॉल्ट रूप से, वहाँ उपलब्ध सूची प्रकार के लिए कोई Num उदाहरण है, इसलिए जब आप इसे मूल्यांकन करने के लिए प्रयास करते हैं, GHCi कि यह [a] के लिए कोई Num उदाहरण पाता शिकायत।

उदाहरण के लिए:

Prelude> instance Num a => Num [a] where fromInteger n = Data.List.genericReplicate n 1 

<interactive>:2:10: Warning: 
    No explicit method or default declaration for `+' 
    In the instance declaration for `Num [a]' 

<interactive>:2:10: Warning: 
    No explicit method or default declaration for `*' 
    In the instance declaration for `Num [a]' 

<interactive>:2:10: Warning: 
    No explicit method or default declaration for `abs' 
    In the instance declaration for `Num [a]' 

<interactive>:2:10: Warning: 
    No explicit method or default declaration for `signum' 
    In the instance declaration for `Num [a]' 
Prelude> 1 ++ 2 :: [Int] 
[1,1,1] 

Answer 2

किसी सूचियां निर्धारित कर सकता है संख्या के रूप में इलाज किया जाना है क्योंकि:,

instance Num a => Num [a] where 
(+) = zipWith (+) 
(*) = zipWith (*) 
(-) = zipWith (-) 
negate = map negate 
abs = map abs 
signum = map signum 
fromInteger x = [fromInteger x] 

तो क्या आप काम करेगा टाइप किया

1++2 == fromInteger 1++fromInteger 2 == [1]++[2] 

के बाद से (यह नहीं कि Num उदाहरण अधिक समझ में आएगा ..)