Haskell中如何终止列表修改函数？解决去重函数无限循环问题

原函数的问题根源 #

你的函数陷入无限循环，核心问题出在else分支的递归调用：

else removeDuplicate ([y] ++ xs ++ [x])

当x≠y时，你把x移到了列表末尾，直接打乱了原列表的有序性，而且递归处理的列表长度和原列表完全一致（[y]++xs++[x]的长度等于x:y:xs的长度），永远触发不了[]或[x]的终止条件，自然会无限循环。比如输入[1,2]，会反复在removeDuplicate [1,2]和removeDuplicate [2,1]之间切换，永远停不下来。

正确的递归实现思路 #

对于已排序的列表，去重的核心逻辑是：只保留连续重复元素的第一个，然后递归处理剩下的（跳过所有和当前元素重复的部分）。不需要移动元素位置，只需要通过模式匹配分解列表，逐步缩短处理的列表长度即可。

简洁版实现（利用标准库函数）

removeDuplicate :: Eq a => [a] -> [a]
removeDuplicate [] = []
removeDuplicate (x:xs) = x : removeDuplicate (dropWhile (==x) xs)

• dropWhile (==x) xs会跳过xs中所有和x相等的元素（因为列表有序，重复元素必然连续）
• 每次递归处理的都是更短的列表，最终会收敛到空列表的终止条件

模式匹配版实现（贴近你的原始写法）

如果你更倾向于用显式的模式匹配处理双元素情况，可以这么写：

removeDuplicate :: Eq a => [a] -> [a]
removeDuplicate [] = []
removeDuplicate [x] = [x]
removeDuplicate (x:y:xs)
  | x == y    = removeDuplicate (x:xs)  -- 跳过重复的y，继续用x和xs的元素比较
  | otherwise = x : removeDuplicate (y:xs)  -- 保留x，递归处理y开头的剩余列表

• 当x==y时，我们去掉y，继续用x和xs的元素对比（避免漏掉后续的重复元素）
• 当x≠y时，直接保留x，然后递归处理以y开头的剩余列表，每次递归的列表长度都在缩短，必然会触发终止条件

Haskell处理这类问题的核心思路 #

作为纯函数式语言，Haskell不需要用数组索引或计数的方式处理列表。我们依赖模式匹配分解列表（头元素+剩余列表），结合递归逐步缩小问题规模，同时利用列表的惰性特性，只处理当前需要的部分。只要保证每次递归的输入规模（这里是列表长度）在减小，就能自然触发终止条件，不会出现无限循环。

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