list - 根据 Haskell 列表中 n 的条件删除元素 n-1、n 和 n+1

Question

假设我有一个从 2 到 20 的所有整数的列表。

[2 .. 20]

我想使用函数 f x 过滤列表(或者它是一个谓词？我不太习惯 Haskell 编程中使用的所有术语)。如果位置 n 的元素对于此函数 f 等于 true，我想删除位置 n-1 的元素， n 和 n+1。

例子:假设列表 [2 .. 20] 中位置 4 的元素等于 6，对于函数 f 等于 true >。然后我想删除位置3、4和5的元素，它们等于5，6 和 7 分别。所以我的最终列表看起来像:

[2,3,4,8,9,10,11,12,13,14,15,16,17,18,19,20]

我是一个没有经验的 Haskell 程序员，只是为了好玩而玩。我考虑过使用 lambda 函数作为谓词，但我不太确定如何去做。我还考虑过使用像 remove xs ys 这样的函数来删除 xs 中也是 ys 元素的所有元素，但我'我也不知道该怎么做。

如有任何帮助，我们将不胜感激!

编辑:我意识到为了产生我想要的结果，删除两个相邻元素是错误的。此外，最好将受影响的元素(位置 n 和 n-1 的元素)的值更改为 0，或者以其他方式标记/标记它们，而不是完全删除它们。这样做的原因是我想继续“删除”元素，直到列表不再有任何符合谓词的元素(及其前面的元素)。我只想将它们从原始列表 中“删除”。由于我的方法与原始问题相比发生了很大变化，因此我将发布一个新方法来反射(reflect)我的新方法。我要感谢您的所有回复，我从您的回答中学到了很多东西。谢谢!

编辑 2:这是我的新问题:Remove elements at positions n and n-1 in a Haskell list, when n fits a predicate

Answer 1

您可以只对多个元素进行模式匹配并将过滤器应用于中间元素。

eitherside :: (Int->Bool) -> [Int] -> [Int]
eitherside f (i1:i2:i3:is) = if (f i2) 
    then eitherside f is 
    else i1 : (eitherside f (i2:i3:is))
eitherside f is = is
*Main> eitherside (==4) [1..10]
[1,2,6,7,8,9,10]
*Main> eitherside (==5) [1..10]
[1,2,3,7,8,9,10]
*Main> eitherside (==6) [1..10]
[1,2,3,4,8,9,10]

不像这样(我的原始帖子):

eitherside :: (Int->Bool) -> [Int] -> [Int]
eitherside f (i1:i2:i3:is) = if (f i2) 
    then eitherside f is 
    else [i1,i2,i3] ++ (eitherside f is)
eitherside f is = is
*Main> eitherside (==5) [1..10]
[1,2,3,7,8,9,10]

这个坏的碰巧工作了 5 个，但失败了 6 个，因为我在“else”分支中跳过了它。