haskell - 实例声明中的变量

Question

此片段来自 LYAH:

instance (Eq m) => Eq (Maybe m) where     

Just x == Just y = x == y      
Nothing == Nothing = True     
 _ == _ = False

我对 x 和 y 应该是什么感到完全困惑，因为它们没有在任何地方定义。谁能帮我理解这个？

Answer 1

嗯，== 是一个中缀 函数，您可以将其解读为模式匹配:

(==) (Just x) (Just y)

在这种情况下，很明显x和y是模式匹配中的函数参数。

一个更简单的示例可以显示(没有类型类):

areBothFive:: Int -> Int -> Bool
5 `areBothFive` 5 = True 
x `areBothFive` y = False -- the x and y are variables in the pattern match here

areBothFive 5 5 -- true
areBothFive 4 5 -- false

这是a fiddle illustrating the issue 。

LYAH 在“函数语法”一章中给出了使用此语法的示例。