क्या इकाई पर एक बैंग पैटर्न वास्तव में आवश्यक है?

Question

ढेर हैकिंग करते हुए मैं this पाया:

!() <- atomicModifyIORef (eoExeCache eo) $ \m' -> 
    (Map.insert name epath m',()) 

HLint कहते हैं: "उस चीज़ को दूर"। लेकिन मुझे नहीं लगता कि यह एक टाइपो है। क्या !() लिखने का कोई कारण है?

Answer 1

यदि संदेह में (और जल्दबाजी में नहीं) specification से परामर्श लें।

अभिव्यक्ति

do !() <- foo 
    bar 

desugars

को

let ok !() = bar 
    ok _ = fail .. 
in foo >>= ok 

rules for function definition इस करके

let ok = \x -> case x of !() -> bar 
         _ -> fail ... 
in foo >>= ok 

के बराबर है अब rules for bang patterns, उपयोगकर्ता गाइड GHC में हैं के रूप में यह गैर है मानक मानक हैकेल। वहाँ हम यह है कि हम अपने तर्क जा रहा है ⊥ या नहीं करने के मामले में

let ok = \x -> x `seq` (case x of() -> bar 
            _ -> fail ...) 
in foo >>= ok 

अब seq is defined में इस पुनर्लेखन कर सकते हैं। तो या तो x ⊥ है, लेकिन फिर seq पर दूसरा तर्क, case x of ... भी semantics of pattern matching के अनुसार ⊥ है। या x ⊥ नहीं है, और seq इसके दूसरे तर्क के बराबर है। या तो मामले में, इसके बाद के संस्करण कोड,

let ok = \x -> case x of() -> bar 
         _ -> fail ... 
in foo >>= ok 

जो के समान है वापस इन चरणों का पता लगाने,

do() <- foo 
    bar 

निष्कर्ष में

तो के बराबर है: वहाँ है कि में एक do अभिव्यक्ति करने के लिए कोई कारण नहीं है।

वहाँ तथापि है,

let() = foo 
in bar 

(जहां foo मूल्यांकन किया जा कभी नहीं होगा) और

let !() = foo 
in bar 

क्योंकि जाने-भाव semantics for bang patterns में विशेष प्रावधान है के बीच एक अंतर।