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

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重新定义为t的参数。因此，本地 all 遮蔽了全局 all 并且您会收到此错误。作为解决方案，请尝试为本地all指定另一个名称。

Answer 2

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

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