Haskell 函数中的“非穷举模式”

Question

在下面的 Haskell 函数中：

allTransformations :: String -> String -> [Transformation]
allTransformations "" "" = []
allTransformations a "" = [map (\a -> Delete a) a]
allTransformations "" b = [map (\b -> Insert b) b]
allTransformations (x:xs) (y:ys)
    | x == y = map (\t -> (Copy x) : t) rest
    | (length xs) < (length ys) = (map (\t -> (Insert y) : t) rest) ++ (map (\t -> (Change x y) : t) rest)
    | (length xs) > (length ys) = (map (\t -> (Delete x) : t) rest) ++ (map (\t -> (Change x y) : t) rest)
    where rest = allTransformations xs ys

在运行 allTransformations "abc" "bca" 时，我收到错误“函数 allTransformations 中的非详尽模式”。问题出在哪里？

我已经介绍了四种情况：两个参数都是空字符串，第二个参数是空的，第一个不是，第一个参数是空的，第二个不是，两个参数都不为空。

这是所有可能的情况，对吧？

Answer 1

您实际上已经涵盖了六个案例，因为您提到的第四个案例有三个不同的守卫：

• 两者都是空的
• A 是空的
• B 为空
• 两者都不是空的，并且第一个元素是相同的
• 两者都不是空的，而且 A 更长
• 两者都不是空的，而且 B 更长

你不见了：

• 都不为空，第一个元素不等，长度相同

最后一个正是"abc" 和"bca" 的情况