当前位置: 首页 > 知识库问答 >
问题:

Haskell错误:“非穷举模式”

华俊贤
2023-03-14

所以我有这个函数,当我尝试这样使用它时:mergesortedList[1,1][1,1]会给我一个错误:

[1,1***异常:SortFunctions.hs:(86,1)-(91,89):函数合并分类列表中的非穷举模式

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个答案

阎修明
2023-03-14

第二种和第三种情况的模式包括长度为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)

(另外,您的函数在技术上不是合并反向排序列表吗?)

 类似资料:
  • 我试图编写函数尾部,它将字符串转换成字符串列表,方式如下: 以下是我的实现: 正如标题所暗示的,这个函数中有一些非详尽的模式。不幸的是,我不明白为什么。 我是哈斯克尔的新手。。。任何帮助都将不胜感激!

  • 我的函数使用一个可能是Int的列表作为参数。如果元素=Nothing,则应打印一个。如果元素是一个Just Int,它将打印数字。我以为我抓住了一个基本情况,但我认为我没有抓住正确的一个。。我得到一个非穷举模式错误。 向正确的方向点头表示感谢!:-)

  • 我必须使函数:: [((String, String), Int)]- 这就是我提出的功能: 输出应该是一个元组列表,其中的字符串与元组x1中的inputWord以及整数x2成对出现 问题是我得到了我认为不应该存在的非详尽模式。 我试图替换与 这使得非穷举模式在列表不为空时消失,但也阻止了函数遍历元组的最后一个元组。

  • 我正在尝试创建一个函数,该函数将元组列表作为参数,并按第二个元素排序。它不打印任何其他内容,只打印错误“***Exception:main”。hs:20:1-76:函数sortWords中的非穷举模式’以下是代码: 下面是我如何调用函数的 我得说我是在计算机上运行我的程序的http://Repl.it网站 谢谢!

  • 我有一个函数,它想列出所有。 其中t和d是字符串,y是int,f是字符串,r是int(但不确定f和r是否重要,将进一步解释)。 我得到了非穷举模式的错误,并假设这是因为当列表中只有一个元素时,我没有一个,所以我在其他模式之间添加了这个: 它已编译,但当我调用该函数时,它再次告诉我“非穷举模式”。我正在努力思考我错过了什么模式,我应该在之后添加一个通配符模式来捕获所有内容吗?我不想找人把答案打出来,

  • 我使用返回元组的函数。但是当我试图运行这个函数时,它给了我一个例外:函数中的非穷尽模式。