なぜ「すべて」が私にこの「期待されたタイプに一致できませんでしたか」を与えているのですか？

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を計算するのですか？あなたはどこでもそれを使用しません。