haskell - 为什么这些模式匹配在 Haskell 中不是详尽无遗的？

Question

我有

stringTestWord :: String -> String -> [String]
stringTestWord _ [] = [""]
stringTestWord [] _ = [inputString] 
stringTestWord a (c:d)

我很确定这涵盖了所有情况，因为模式 1 和模式 2 有 2 _，对于最后一个模式，我认为列表 a 可以视为 [] 或非空列表，与 (c:d) 相同。

标签： haskell