ghci - डिफॉल्टिंग भ्रम

Question

मुझे आकार (minBound, maxBound) और विभिन्न अभिन्न प्रकारों की "दशमलव प्रतिनिधित्व में लंबाई" की जांच के दौरान कुछ अजीब व्यवहार देखने के लिए हुआ।

GHCi का उपयोग करना:

Prelude> :{ 
Prelude| let mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] :: [Int] 
Prelude| :} 
[-9223372036854775808,922372036854775807,2] 
             ^

अंतिम स्थान पर रहा 19 उम्मीद करेंगे में

।

मेरा पहला अनुमान है कि () करने के लिए maxBound चूक है और इस तरह की पैदावार 2 है, लेकिन मुझे समझ नहीं आता कि क्योंकि ma स्पष्ट प्रकार एनोटेशन (:: [Int]) द्वारा एक Int होना चाहिए - ma नामित किया जाना चाहिए सभी प्रतीकों और निर्देशात्मक पारदर्शिता से बराबरी का।

यदि मैं ऊपर दिए गए कथन को फाइल में डालता हूं और इसे जीएचसीआई में लोड करता हूं, तो मुझे सही परिणाम मिलता है।

तो मुझे गलत परिणाम क्यों मिलता है?

Answer 1

उलझन में, यह अभी भी नाटक पर मोनोमोर्फिज्म प्रतिबंध है (या इसके बजाय जीएचसीआई में इसकी कमी)। इसके बजाय वे mi, ma :: Bounded a => a के रूप में सामान्य रहने और a चर दो बार एक बार instantiated हो जाता है

• - चूंकि GHCi monomorphism प्रतिबंध सक्षम, mi और ma की अपनी परिभाषा के Int को विशेष नहीं मिलता है के रूप में आपको लगता है कि वे नहीं है fromIntegral $ length $ show ma में () रूप
• एक बार के रूप में Int[mi,ma,le] :: [Int]

में (जैसा कि आप देखा है, यह एक डिफ़ॉल्ट है) आपचाहते हैंऔर ma वास्तव में प्रकार Int का हो सकता है, उन्हें इस तरह के सीधे

Prelude> :{ 
Prelude| let mi, ma :: Int 
Prelude|  mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] 
Prelude| :} 
[-9223372036854775808,9223372036854775807,19] 

व्याख्या या GHCi में मैन्युअल monormorphism प्रतिबंध पर बारी

Prelude> :set -XMonomorphismRestriction 
Prelude> :{ 
Prelude| let mi = minBound 
Prelude|  ma = maxBound 
Prelude|  le = fromIntegral $ length $ show ma 
Prelude| in [mi,ma,le] :: [Int] 
Prelude| :} 
[-9223372036854775808,9223372036854775807,19]