非穷举模式错误

Question

我的函数使用一个可能是Int的列表作为参数。如果元素=Nothing，则应打印一个。如果元素是一个Just Int，它将打印数字。我以为我抓住了一个基本情况，但我认为我没有抓住正确的一个。。我得到一个非穷举模式错误。

replaceValue :: [Maybe Int] -> String
replaceValue (x:xs) 
    | (x:xs) == []        = []
    | isNothing x == True = '.':replaceValue xs
    | isJust x == True    = intToDigit(fromJust x):(replaceValue xs)

向正确的方向点头表示感谢！：-）

Answer 1

模式x:xs仅匹配非空列表。守卫（x:xs）=[]永远不会成功。

你可能是这个意思：

replaceValue [] = []
replaceValue (x:xs)
  | isNothing x = ...
  | isJust    x = ...

还要注意，…==True与刚才的结果相同 ；-）

Answer 2

@MathematicalArchid已经回答了。

我想补充一点，使用isNothing/isJust/fromJust会使代码变得更加复杂。此外，fromJust通常是危险的，因为如果您向它传递Nothing，它就会崩溃——在这里，您可以使用isJust防护正确地防止这种情况，但在大型程序中很容易忘记这一点。

好消息是，您可以使用模式匹配来避免所有这些辅助功能：

replaceValue :: [Maybe Int] -> String
replaceValue []             = []
replaceValue (Nothing : xs) = '.' : replaceValue xs
replaceValue (Just a : xs)  = intToDigit a : replaceValue xs

一旦您更加熟悉Haskell，您将能够利用一些高阶库函数，以更紧凑的形式重写标准递归方案，如上面的方案。

replaceValue :: [Maybe Int] -> String
replaceValue = map (maybe '.' intToDigit)