为什么“所有”给我这个“无法匹配预期类型”？

Question

m = [[1,0,0],[2,-3,0],[4,5]]
t all@(x:xs) = let (m, n) = (length all, length x) in all (==n) (map length all)

命令：

t m

给出：

Couldn't match expected type `(Int -> Bool) -> [Int] -> t'
       against inferred type `[[a]]'
In the expression: all (== n) (map length all)
In the expression:
    let (m, n) = (length all, length x) in all (== n) (map length all)
In the definition of `t':
    t (all@(x : xs))
           = let (m, n) = ... in all (== n) (map length all)

Answer 1

您将名称all绑定到整个列表，因此前奏函数all不再可见。选择其他名称，或删除all@，然后使用let (m, n) = (length xs + 1, ...)或类似内容。

相关：你为什么要计算length all？你不要在任何地方使用它。

Answer 2

原因是，您将符号all重新定义为t的参数。因此，本地all会影响全局all，并且您会收到此错误。作为解决方案，请尝试为您的本地all提供另一个名称。