相关疑难解决方法(0)

这是我在调用Haskell子字符串函数时为什么会得到"函数中的非详尽模式..."的后续内容？

据我所知,使用-WallGHC可以警告不详尽的模式.我想知道在默认情况下没有使它成为编译时错误的原因是什么,因为它始终可以显式定义部分函数:

f :: [a] -> [b] -> Int
f [] _  = error "undefined for empty array"
f _ []  = error "undefined for empty array"
f (_:xs) (_:ys) = length xs + length ys

问题不是针对GHC的.

是因为......

• 没有人想强制执行Haskell编译器来执行这种分析？
• 一个非详尽的模式搜索可以找到一些但不是所有的情况？
• 部分定义的函数被认为是合法的,并且经常使用不足以强加上面显示的那种构造？如果是这种情况,你能解释一下为什么非详尽的模式是有帮助/合法的吗？