haskell - 为什么 Nothing == (pure Nothing) 在 Haskell 中返回 False？

Question

似乎我理解错了，但我尝试了以下方法:

GHCi, version 8.6.5
Nothing == Nothing
=> True
Nothing == (pure Nothing)
=> False
pure Nothing
=> Nothing

你能解释一下这里发生了什么吗？

Answer 1

两个pure Nothing在您的代码中使用不同的 pure .
如果您检查 pure Nothing 的类型，可以看到pure的版本选择取决于类型 f .

GHCi> :t pure Nothing
pure Nothing :: Applicative f => f (Maybe a)

当您输入 pure Nothing在交互模式下， f推断为 IO和 IO 的结果打印操作。这是 GHCi 提供的快捷方式，在常规 Haskell 代码中不会发生。

GHCi> pure Nothing
Nothing
GHCi> pure Nothing :: IO (Maybe ())
Nothing

然而，当比较 pure Nothing与 Nothing , f推断为 Maybe .这将创建两层 Maybe , 使类型 Maybe (Maybe a)

GHCi> Nothing == pure Nothing
False
GHCi> Just Nothing == pure Nothing
True
GHCi> pure Nothing :: Maybe (Maybe ())
Just Nothing