"all"이 "예상 유형과 일치하지 못했습니다"라는 이유가 무엇입니까?

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을 계산 하시겠습니까? 어디서나 사용하지 마십시오.