例外:功能中的非详尽模式

Question

尝试创建一个从列表中删除重复项的函数,并将其替换为单个元素.继续收到错误消息"函数removedplicate中的非穷举模式".我认为这意味着我的模式匹配缺少可能的情况？我想我已经涵盖了所有的可能性.我对Haskell很新,所以非常感谢任何帮助.

removeduplicate :: (Eq a) => [a] -> [a]
removeduplicate [] = []
removeduplicate (x:[]) = [x]
removeduplicate (x:z:[]) = if z == x then [x] else (x:z:[])
removeduplicate (x:y:[xs])
    | x == y = x:(removeduplicate [xs])
    | otherwise = x:y:(removeduplicate [xs])

Answer 1

你的问题是你的最终模式.我假设它是为了匹配所有列表,但是你拥有它的方式,它匹配一个列表与一个元素xs,在其中.

这意味着编译器看到一个3元素列表的匹配,但不是任意长度列表,这就是它抱怨的原因.

要解决此问题,请移除此框xs.

removeduplicate (x:y:xs)
    | x == y = x:(removeduplicate xs)
    | otherwise = x:y:(removeduplicate xs)

现在xs被视为一个列表,因此您将匹配列表至少包含三个项目,而不仅仅是三个项目.

Answer 2

正如Matt Bryant所说,特定的编译器错误源于使用[xs]而不是xs.

你实际上还有一个冗余模式:

removeduplicate (x:z:[]) if z == x then [x] else (x:z:[])

可以删除此行,因为x:y:[]已经处理了类型的模式

removeduplicate (x:y:xs)
    | x == y = x:(removeduplicate xs)
    | otherwise = x:y:(removeduplicate xs)

既然xs可以是空列表并removeduplicate []解析成[].

但请记住,您提供的代码最多只能删除2个连续的重复元素.连续三次重复,将在结果中插入两个相同的元素,这可能不是您想要的.

更完整的功能可能如下所示:

removeduplicate []     = []
removeduplicate (x:xs) = x:(removeduplicate $ dropWhile (== x) xs)