為什么 Nothing ==（純 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