删除元素的第一个实例 (Haskell)

Question

我是使用haskell 的新手，但我尝试按照this 问题的答案创建自己的函数，该函数将列表和元素作为输入，并从列表中删除所述元素的第一个实例。

我的代码如下所示：

rem1 :: Eq a => [a] -> a -> [a]
rem1 [] _ = []
rem1 ys _ = ys
rem1 (y:ys) x   | x == y    = ys
                | otherwise = y : rem1 ys x

当我在 ghci 中加载它时，代码会编译，但是当我测试它时，列表没有改变。像这样：

Ok, one module loaded.
ghci> rem1 "abab" 'b'
"abab"

什么时候应该是这样的：

Ok, one module loaded.
ghci> rem1 "abab" 'b'
"aab"

我该如何解决这个问题？

Answer 1

对于除空列表之外的任何参数，都会触发第二种情况：

rem1 ys _ = ys

它说“无论参数是什么，总是返回第一个参数”。确实如此。

您可能正在考虑将第二种情况与第三种情况进行“比较”：第三种情况匹配(:)，第二种情况匹配“没有(:)”。

但这不是模式匹配的工作原理。像ys 这样的模式匹配任何东西，任何东西，不管它是否是(:) 构造函数。所以你的第二种情况匹配任何参数。

要修复，只需删除第二种情况。你不需要它。