如何解决匿名函数中的参数
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的空列表基本上是一个去抖动器，因此，如果其中一个元素不符合要求，我们将不再插入。
但是Haskell给我以下错误：
"Occurs check: cannot construct the infinite type: a ~ Bool -> [a]"
知道为什么吗？
解决方法
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 []将使累加器的值 。 / p>
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
