"सख्त रिटर्न" के अर्थशास्त्र क्या हैं?

Question

Haskell Performance Resource विकि-अनुभाग में, आगे बताया नहीं सिफारिश

• उपयोग सख्त रिटर्न (return $! ...) जब तक आपको निश्चित रूप से आलसी जरूरत के लिए दिया जाता है।

यह एक अच्छी बात क्यों है? जब ... -expression (Whnf-) को मजबूर किया गया है तो मजबूर होना चाहिए?

"वाम पहचान" इकाई जी और परिभाषा

f $! x = x `seq` f x 

मैं (do -notation` में) पुनर्लेखन कर सकते हैं को देखते हुए:

do x' <- return $! x 
    f x' 

do x' <- x `seq` return x 
    f x' 

लिए लेकिन ऐसा लगता है कि मैं

नहीं प्राप्त कर सकता

do f $! x 

पुनश्च: अगर BangPatterns -extension उपलब्ध है,

do !x' <- return x 
    f x' 

पहले do -expression ऊपर दिए गए के रूप में अर्थ की दृष्टि से एक ही है?

Answer 1

एक कारण आप से

do x' <- x `seq` return x 
    f x' 

f $! x 

यह क्योंकि वे एक ही नहीं हैं करने के लिए नहीं मिल सकता है।

(x `seq` return x) >>= (\ x' -> f x') 

seq केवल तभी (>>=) अपनी पहली बहस में सख्त है मूल्यांकन किया जाएगा: बस करते अंकन का विस्तार करें। यह जरूरी नहीं है।

Answer 2

आईओ के लिए वहाँ भी उपयोगी Control.Exception.evaluate है:

बलों अपने तर्क कमजोर सिर सामान्य रूप के लिए मूल्यांकन किया जाना जब परिणामी आईओ कार्रवाई निष्पादित किया जाता है। यह का उपयोग अन्य आईओ संचालन के संबंध में के मूल्यांकन के आदेश के लिए किया जा सकता है; इसके अर्थ विज्ञान

evaluate :: a -> IO a 
evaluate x = (return $! x) >>= return