haskell - 为什么 "return Nothing"什么都不返回？

Question

"return a"应该在一些 Monad 的上下文中包装 a:

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

如果我问 GHCI “return Nothing”的类型是什么，它符合:

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

但是如果我评估它，我看不到外部 Monad，只有内部的 Maybe:

*Main>  return Nothing
Nothing

Answer 1

当 GHCi 去打印一个值时，它会尝试两种不同的事情。首先，它尝试将类型与 IO a 统一起来。对于一些 a .如果它可以做到这一点，那么它会执行 IO 操作并尝试打印结果。如果它不能这样做，它会尝试打印给定的值。在您的情况下，Monad m => m (Maybe a)可与IO (Maybe a) 统一.

查看此 GHCi session 可能会有所帮助:

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