Haskell 递归函数实现：移除列表中所有指定值

原代码的可执行性问题梳理 #

• 类型签名不合法：原定义myRemove :: a -> [b] ->[b]存在两处硬伤：一是缺少列表元素可比较所需的Eq类型约束，无法完成“判断元素是否等于待移除值”的操作；二是错误将待移除值的类型和列表元素类型拆为两个独立的多态变量a和b，实际二者必须为同类型才能做相等比较。
• 函数子句参数不匹配：非空列表的分支写为myRemove (x:xs) =，漏掉了函数定义中要求的第一个参数（待移除的目标值），无法通过模式匹配完成分支调用。
• 守卫语法与逻辑错误：Haskell的守卫表达式以布尔判断为准，相等比较需使用==而非赋值语义的=；原递归逻辑的行为完全相反——遇到匹配的待移除值时没有跳过，反而错误尝试对目标值做减法递归，遇到不匹配的元素时反而直接丢弃元素。

修正后的完整可运行代码 #

myRemove :: Eq a => a -> [a] -> [a]
-- 空列表边界情况：直接返回空列表
myRemove _ [] = []
-- 非空列表递归分支
myRemove target (x:xs)
  -- 当前元素等于待移除目标值：跳过该元素，递归处理剩余列表
  | x == target = myRemove target xs
  -- 当前元素不等于目标值：保留该元素，拼接递归处理剩余列表的结果
  | otherwise = x : myRemove target xs

效果验证 #

调用示例代码：
myRemove 2 [2,1,2,3,2,1,2,3,4]
返回结果为[1,3,1,3,4]，完全符合预期。

内容的提问来源于stack exchange，提问作者James