匿名函数中的参数
Parameters in anonymous function
我一直在练习匿名函数并得到以下结果：
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 函数接受一个列表和一个函数以及 returns 一个新列表，其中原始列表中的每个元素都满足该函数，直到其中一个给出 false。
从我的角度来看，一切似乎都是正确的，我有 3 个参数 x y 和 z 准备好在我的匿名函数中使用，x 是数字列表，y 是空列表，我将在其中插入每个元素z 基本上是一个去抖动器，所以如果其中一个元素不符合要求，我们就不会再插入了。
然而 Haskell 给我以下错误：
"Occurs check: cannot construct the infinite type: a ~ Bool -> [a]"
知道为什么吗？
fold 中的折叠函数将累加器 x 和元素 y 作为参数。所以没有z是passed.
但即使这在某种程度上是可能的，仍然存在其他问题。 x 是这里的累加器，所以一个列表，这意味着 x : y 没有意义，因为 (:) :: a -> [a] -> [a] 接受一个元素和一个列表，并构造一个新列表。
然而，您可以轻松地使用 foldr 来实现 takeWhile 功能。确实：
takeWhile' p = foldr (\x -> if p x then (x :) else const []) []
因此，我们在这里检查谓词是否成立，如果成立，我们在累加器前添加 x。如果不是，我们return[]，不考虑累加器的值。
由于 foldr 的惰性，它不会在元素使累加器失败后查找元素，因为 const [] 将 ingore 值累加器。
我一直在练习匿名函数并得到以下结果：
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 函数接受一个列表和一个函数以及 returns 一个新列表，其中原始列表中的每个元素都满足该函数，直到其中一个给出 false。
从我的角度来看，一切似乎都是正确的，我有 3 个参数 x y 和 z 准备好在我的匿名函数中使用，x 是数字列表，y 是空列表，我将在其中插入每个元素z 基本上是一个去抖动器，所以如果其中一个元素不符合要求，我们就不会再插入了。
然而 Haskell 给我以下错误：
"Occurs check: cannot construct the infinite type: a ~ Bool -> [a]"
知道为什么吗？
fold 中的折叠函数将累加器 x 和元素 y 作为参数。所以没有z是passed.
但即使这在某种程度上是可能的，仍然存在其他问题。 x 是这里的累加器，所以一个列表，这意味着 x : y 没有意义，因为 (:) :: a -> [a] -> [a] 接受一个元素和一个列表，并构造一个新列表。
然而，您可以轻松地使用 foldr 来实现 takeWhile 功能。确实：
takeWhile' p = foldr (\x -> if p x then (x :) else const []) []
因此，我们在这里检查谓词是否成立，如果成立，我们在累加器前添加 x。如果不是，我们return[]，不考虑累加器的值。
由于 foldr 的惰性，它不会在元素使累加器失败后查找元素，因为 const [] 将 ingore 值累加器。