डेटा संरचनाओं के आलसी मूल्यांकन

Question

मैं हैकेल में आलसी मूल्यांकन के बारे में पढ़ रहा हूं और एक प्रश्न है। उदाहरण के लिए हम निम्नलिखित संगणना है:

Prelude> let x = 1 + 1 :: Int 
Prelude> let y = (x,x) 

और x का मूल्य प्राप्त करने के बाद:

Prelude> :sprint x 
x = _ 

यह unevaluated है। ठीक है, अब हम y के मूल्य मिलता है:

Prelude> :sprint y 
y = (_,_) 

यह बहुत unevaluated है, क्योंकि yx and it's unevaluated पर निर्भर करता है। अब हम एक ही उदाहरण लेकिन ::Int बिना की कोशिश करते हैं:

Prelude> let x = 1 + 1 
Prelude> let y = (x, x) 
Prelude> :sprint y 
y = _ 

क्यों y मूल्य _ बजाय (_, _) है जब हम ::Int बिना कोशिश कर रहे हैं?

मैं देख रहा हूँ कि वे विभिन्न प्रकार है:

Prelude> let x = 1 + 1 
Prelude> :t x 
x :: Num a => a 
Prelude> let x = 1 + 1 :: Int 
Prelude> :t x 
x :: Int 

लेकिन क्यों y के मूल्यों पर निर्भर?

धन्यवाद।

Answer 1

क्या हो रहा है जब आप x निर्दिष्ट किया है प्रकार Num a => a है, संकलक संभवतः Num का जो उदाहरण है जब 1 + 1 प्रदर्शन का उपयोग करने में पता नहीं कर सकते हैं। इसके बजाय यह डिफ़ॉल्ट रूप से उपयोग करता है। जीएचसी कुछ प्रकार के वर्गों के लिए डिफ़ॉल्ट प्रकार को परिभाषित करता है ताकि जब यह निर्धारित करने के लिए कोई ठोस तरीका न हो कि इसका उपयोग करने के लिए ठोस प्रकार अभी भी त्रुटियों को उठाए बिना सार्थक परिणाम दे सकता है। तो जब आप देखते हैं

> let x :: Num a => a 
|  x = 1 + 1 
> x 
2 
> :sprint x 
x = _ 

इसका कारण यह है GHCi Num के लिए अपने डिफ़ॉल्ट प्रकार के रूप में Integer चुनता है, लेकिन जब यह इस कार्रवाई निष्पादित करता है यह x की स्मृति स्थान में परिणाम की दुकान नहीं है, के बाद से वहाँ नहीं है एक यह जानने का तरीका कि क्या यह सही जवाब भी है। यही कारण है कि आप :sprint से देखते हैं, इसने वास्तव में x :: Num a => a का मूल्यांकन नहीं किया है, इसका मूल्यांकन x :: Integer है। तुम भी इस के साथ गड़बड़ खुद डिफ़ॉल्ट कर सकते हैं:

> newtype MyInt = MyInt Int deriving (Eq) 
> 
> instance Show MyInt where 
|  show (MyInt i) = show i 
> instance Num MyInt where 
|  (MyInt x) + (MyInt y) = MyInt (x - y) 
|  fromInteger = MyInt . fromInteger 
> 
> default (MyInt) 
> x 
0 

तो अब हम कि 1 + 1 = 0 कहा गया है! ध्यान रखें कि जीएचसी की इस कार्यक्षमता के लिए शायद आपके पास कभी भी उपयोग नहीं होगा, लेकिन इसके बारे में जानना अच्छा है।