क्यों कुछ भी वापस नहीं लौटाता है?

Question

"वापसी एक" कुछ इकाई के संदर्भ में एक रैप करने के लिए माना जाता है:

*Main> :i return 
class Applicative m => Monad (m :: * -> *) where 
    ... 
    return :: a -> m a 
    ... 
     -- Defined in ‘GHC.Base’ 

अगर मैं GHCi पूछना क्या "वापस कुछ नहीं" के प्रकार है, यह है कि के अनुरूप है:

*Main> :t return Nothing 
return Nothing :: Monad m => m (Maybe a) 

लेकिन अगर मैं इसे का मूल्यांकन, मुझे कोई बाहरी इकाई देखते हैं, सिर्फ भीतरी शायद:

*Main> return Nothing 
Nothing 

Answer 1

GHCi एक मूल्य मुद्रित करने के लिए हो जाता है, यह दो अलग बातें की कोशिश करता है। सबसे पहले, यह a के लिए IO a के साथ प्रकार को एकीकृत करने का प्रयास करता है। यदि यह ऐसा कर सकता है तो यह आईओ कार्रवाई निष्पादित करता है और परिणाम मुद्रित करने का प्रयास करता है। यदि यह ऐसा नहीं कर सकता है, तो यह दिए गए मान को मुद्रित करने का प्रयास करता है। आपके मामले में, Monad m => m (Maybe a)IO (Maybe a) के साथ एकीकृत किया जा सकता है।

की समीक्षा इस GHCi सत्र मदद कर सकता है:

Prelude> return Nothing 
Nothing 
Prelude> return Nothing :: IO (Maybe a) 
Nothing 
Prelude> return Nothing :: Maybe (Maybe a) 
Just Nothing 
Prelude> Nothing 
Nothing