所以我有这个功能，当我尝试像这样使用它时：
合并排序列表 [1,1] [1,1]
它给了我一个错误：
[1,1*** 例外：SortFunctions.hs:(86,1)-(91,89)：非详尽
函数 mergeSortedLists 中的模式
85 mergeSortedLists :: (Ord t) => [t] -> [t] -> [t]
86 mergeSortedLists [] [] = []
87 mergeSortedLists (x:[]) [] = x:[]
88 mergeSortedLists [] (y:[]) = y:[]
89 mergeSortedLists (x:[]) (y:[]) = (max x y) : (min x y) : []
90 mergeSortedLists (x:tail1) (y:tail2) | x > y = x : (mergeSortedLists tail1 (y:tail2))
91 | otherwise = y : (mergeSortedLists (x:tail1) tail2)
我无法找出问题的根源，因为我认为我涵盖了所有可能的情况。
这里可能有什么问题？
第二种和第三种情况的模式涵盖了与空列表合并的长度为 1 的列表，但没有覆盖与空列表合并的更长列表。也就是说，您没有涵盖这样的情况：
mergeSortedLists [3, 2, 1] []
mergeSortedLists [] [3, 2, 1]
这是一个函数，它可以完成我认为您在较少情况下尝试执行的操作：
mergeSortedLists :: (Ord t) => [t] -> [t] -> [t]
mergeSortedLists x [] = x
mergeSortedLists [] y = y
mergeSortedLists (x:tail1) (y:tail2)
| x > y = x : (mergeSortedLists tail1 (y:tail2))
| otherwise = y : (mergeSortedLists (x:tail1) tail2)
（另外，你的函数在技术上不是合并了吗反向排序 lists?)
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
