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

Question

假设我有一个来自 2 的所有整数的列表至20 .

[2 .. 20]

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

示例:假设列表中位置 4 的元素 [2 .. 20] ，等于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”分支中跳过了它。