Haskell 匿名函数中的参数

我一直在练习匿名函数，得到了以下结果：

takeWhile' :: (a -> Bool) -> [a] -> [a]
takeWhile' f xs = foldl (\x y z -> if (f x) && z then x : y else y) xs [] True

这基本上是对Haskell中已有的takeWhile函数的重写

对于那些不知道的人，takeWhile函数获取一个列表和一个函数，并返回一个新列表，其中包含原始列表中满足该函数的每个元素，直到其中一个给出false

从我的观点来看，一切似乎都是正确的，我有3个参数xy和z可以在我的匿名函数中使用，x是数字列表，y是空列表，我将插入每个元素，z基本上是一个去Bouncer，因此如果其中一个元素不符合要求，我们就不再插入

但Haskell给了我以下错误：

"Occurs check: cannot construct the infinite type: a ~ Bool -> [a]"

---

知道为什么吗？

折叠中的折叠函数将累加器

x

和元素

y

作为参数。因此没有传递的

z

但即使这在某种程度上是可能的，仍然存在其他问题

x

是这里的累加器，所以一个列表，这意味着

x:y

没有意义，因为

（：）：：a->[a]->[a]

获取一个元素和一个列表，并构造一个新的列表

但是，您可以轻松地使用

foldr

实现

takeWhile

功能。事实上：

takeWhile' p = foldr (\x -> if p x then (x :) else const []) []

因此，我们在这里检查谓词是否成立，如果是这样，我们用

x

预加累加器。如果不是，则返回

[]

，而不考虑累加器的值

---

由于

foldr

的惰性，它不会在元素使累加器失败后查找元素，因为

const[]

将获取累加器的值。

除非您计划将

xs

作为函数列表并提供函数作为初始值，匿名函数只能接受两个参数。我认为这需要是一个

foldr

，因为这是fold应用程序可以简化为lambda应用程序的唯一方法，允许提供第三个参数。

foldl

接受两个参数：累加器

x

和元素

y

。

z

在这里做什么？