haskell - 匿名函数中的参数

Question

我一直在练习匿名函数并得到以下结果:

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 个参数 x y 和 z 准备好在我的匿名函数中使用，x 是数字列表，y 是空列表，我将在其中插入每个元素和 z基本上是一个去抖动器，因此如果其中一个元素不符合要求，我们就不会再插入。

然而 Haskell 给我以下错误:

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

知道为什么吗？

Answer 1

fold 中的 fold 函数将累加器 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 [] 将 ingore 累加器的值。