वर्ग कोष्ठक

Question

की "सख़्ती" मैं एक फ़ाइल में इन परिभाषाओं से रख:

x = 'a' : 'b' : 'c' : [] 
y = ['a', 'b', 'c'] 

(क्योंकि बाद के मामले चीजें जिस तरह से अधिक अजीब बन में एक फ़ाइल में उन लोगों के, GHCi में नहीं, परिभाषित करने के लिए महत्वपूर्ण है, । लेकिन यह है कि एक और सवाल)

अब, मैं GHCi में इस फ़ाइल को लोड और है:

λ> :sprint x 
x = _ 
λ> :sprint y 
y = _ 
λ> seq x() 
() 
λ> seq y() 
() 
λ> :sprint x 
x = 'a' : _ 
λ> :sprint y 
y = "abc" 

यहाँ क्या चल रहा है? मैं समझता हूं कि x के मामले में क्या होता है, यही वही है जो मैंने अपेक्षित था। लेकिन y के बारे में क्या?

अनुवाद:: निम्नलिखित पहचान रखती है:

[e1, …, ek] = e1 : (e2 : (… (ek : []))) 

---

इसके अलावा:

क्या मैं देख रहा हूँ की रिपोर्ट, जो कहते हैं section 3.7 खंडन करने के लिए लगता है

y = [toUpper 'a', 'b', undefined] 

λ> seq y() 
() 
λ> :sprint y 
y = "Ab*** Exception: Prelude.undefined 
λ> :sprint y 
*** Exception: Prelude.undefined 

---

Char की सूची के साथ यहां तक ​​कि वास्तविक मूल्यांकन मजबूर किया जाता है है, लेकिन अन्य प्रकार के साथ बातें अभी भी अजीब हैं:

x = True : False : id False : [] 
y = [True, False, id False] 

λ> seq x() 
() 
λ> seq y() 
() 
λ> :sprint x 
x = True : _ 
λ> :sprint y 
y = [True,False,_] 

Answer 1

यह सिर्फ करने के लिए सीमित किया जा रहा है sprint। आप undefined बिना छुए तरह

import Control.Exception 

x, y :: String 
x = 'a' : 'b' : undefined : [] 
y = ['a', 'b', undefined] 

main :: IO() 
main = do 
    evaluate x 
    evaluate y 
    putStrLn "Done" 

तो evaluating

दोनों WHNF आय के लिए एक सरल कार्यक्रम लिखते हैं।

मेरा अनुमान है कि कुछ अजीब कारण के लिए GHCi एक स्ट्रिंग है, जो बात यह है कि पूरे y का मूल्यांकन, नहीं seq/evaluate कॉल मजबूर करता है के रूप में x एक सूची के रूप में, लेकिन y मुद्रित करने के लिए फैसला करता है।