haskell - 无法理解简单的 Haskell 编译错误

Question

我目前正在学习 Haskell。我正在尝试编写一个函数，如果一个是另一个的排列，则给定两个 n 个不同元素的列表返回 true。我这样做是为了练习。

我先写成:

isPermut :: (Eq a)=>[a]->[a]->Bool
isPermut u v = foldl (\acc x -> acc && (elem x u)) True v

这似乎有效。我现在尝试在没有 lambda 表达式的情况下重写它。所以我尝试:

isPermut :: (Eq a)=>[a]->[a]->Bool
isPermut u v = foldl (&& (flip $ elem u)) True v

这给了我一个编译错误:

Couldn't match expected type `b0 -> Bool' with actual type `Bool'
Expected type: Bool -> b0 -> Bool
  Actual type: Bool -> Bool
In the first argument of `foldl', namely `(&& (flip $ elem u))'
In the expression: foldl (&& (flip $ elem u)) True v

这个错误是什么意思？在没有 lambda 的情况下编写函数的正确方法是什么？谢谢。

Answer 1

折叠必须采用两个参数的函数。因为 (&& whatever) 与 \x -> x && whatever 相同，所以你给出了一个函数 one 参数。

为了不在这里使用 lambda，你需要一些方法来组合 &&，一个双参数函数，(`elem` u)，一个单参数功能。 (注意 (`elem` u) 与 (flip elem) u 或 \x -> elem x u 相同。)