这个foldr中的lambda是什么？

Question

我正在通过Haskell book我的方式，我有点难以理解折叠。一个练习要求读者用foldr编写elem函数。我无法把头转向它并搜索一个例子，现在我正在试着理解它。对于foldr类型签名是：

foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b 

我发现的例子功能是：

myElem' :: Eq a => a -> [a] -> Bool 
myElem' a = foldr (\x y -> a == x || y) False 

我的理解是，(\x y -> a == x || y)是满足该类型的(a -> b -> b)部分，False正在履行b和t a是被暗示在无点的风格中。

但是，lambda本身就像刚才那样。我将它作为一个函数x读取，其中一个参数y将检查是否x(y) == a，作为参数提供的元素为myElem'，并返回True或原始参数为x。这显然是无稽之谈。我哪里错了？

Answer 1

\x y -> a == x || y是一个带有两个参数的函数，分别命名为x和y。无论何时a == x为True或y为True，它都返回True。