"का मूल्यांकन" समारोह

Question

यहाँ का मूल्यांकन प्रलेखन के एक उद्धरण: (सीएफ http://hackage.haskell.org/packages/archive/base/4.5.0.0/doc/html/Control-Exception-Base.html#v:evaluate)

evaluate x 

रूप

return $! x 

समान नहीं है एक सही परिभाषा

evaluate x = (return $! x) >>= return 

है

मैं इन दो परिभाषाओं के बीच अर्थपूर्ण अंतर को समझ नहीं पा रहा हूं ... क्या कोई ऐसा व्यक्ति है जो मेरी मदद कर सकता है? अग्रिम धन्यवाद!

Answer 1

त्वरित रेफरी:

evaluate के प्रकार है:

evaluate :: a -> IO a 

seq प्रकार a -> b -> b है। यह पहली बार पहले तर्क का मूल्यांकन करता है, फिर दूसरा तर्क देता है।

evaluate x `seq` y ==> y 
evaluate x `catch` f ==> (return $! x) `catch` f 
evaluate x >>= f  ==> (return $! x) >>= f 

---

return $! x और (return $! x) >>= return के बीच का अंतर इस अभिव्यक्ति के साथ स्पष्ट हो जाता है:

evaluate undefined `seq` 42 

पहला नियम के अनुसार, कि 42 का मूल्यांकन करना चाहिए

मूल्यांकन इन तीन नियमों का पालन करती

के साथपरिभाषा, उपर्युक्त अभिव्यक्ति एक अपरिभाषित अपवाद का कारण बन जाएगी। यह मान ⊥ है, जो बराबर 42.

(return $! x) >>= return परिभाषा के साथ नहीं है यह बराबर करता है 42

असल में, return $! x प्रपत्र सख्त है आईओ मूल्य गणना की जाती है जब है। दूसरा रूप केवल तभी सख्त होता है जब आईओ मान चलाया जाता है और मूल्य का उपयोग किया जाता है (>>= का उपयोग करके)। अधिक जानकारी के लिए

this mailing list thread देखें।