匿名函数中的参数

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

然而 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 []会忽略累加器的值。