왜 하스켈은 '무한 유형을 구성 할 수 없습니다'오류가 발생합니까?

Question

나는 두 벡터의 내적을 계산하기 위해 하스켈에서 다음 코드를 작성하지만, 다음 오류로 인해 컴파일 할 수 없습니다 나는 사전에 this question에서 살펴 보았다

cannot construct infinite type: a = [a] When generalising the type(s) for dot'

dot :: (Num a) => [a] -> [a] -> a 

[] `dot` [] = 0 
x@[xi,xs] `dot` y@[yi,ys] = xi*yi + (xs `dot` ys) 

안내를 위해. 내가 알 수있는 한, 유형은 정확합니다. x, y 및 두 개의 []는 목록이고 함수는 숫자를 반환합니다.

은 어떤 문제가 있습니까?

Answer 1

두 요소 목록 [x, y]에 대한 구문을 목록을 첫 번째 요소와 나머지 목록으로 분할하는 구문을 혼동하는 경우 (x:y). 대신 다음을 시도하십시오.

dot :: (Num a) => [a] -> [a] -> a 

[] `dot` [] = 0 
x@(xi:xs) `dot` y@(yi:ys) = xi*yi + (xs `dot` ys) 

@ 패턴도 필요하지 않습니다.

Answer 2

Ganesh' answer입니다. "무한한 유형"의 의미에 대해 간단히 설명해 드리겠습니다.

dot :: (Num a) => [a] -> [a] -> a 

이 dot이 Num 요소의 두리스트를 취하고 Num를 반환한다는 의미

dot이 유형의 정의를 가지고있다. 가네가 지적으로 [xi,xs]가 Num S되어야 두 요소 xi 및 xs 구성된 목록, 이후

x@[xi,xs] `dot` y@[yi,ys] = xi*yi + (xs `dot` ys) 

: 사용자 정의는이 광고를 포함한다. yi 및 ys과 동일합니다. 그러나 그들은 dot에 인수로 전달됩니다

는

xs `dot` ys 

이 xs 및 ys이 Num의 목록이 될해야한다는 것을 의미합니다. 그것은 모순으로 이어집니다.

---

이 바라 보는 또 다른 방법은, 한 순간이 dot의 유형 정의에 대해 잊지 위해하는 것입니다. 이 라인은

x@[xi,xs] `dot` y@[yi,ys] = xi*yi + (xs `dot` ys) 

는 dot이 요소가 dot에 적절한 인수 두 개의리스트를 취한다고. 그러나이 목록이 의미가있는 유일한 방법은 이 무한히 중첩 된 경우입니다.. 그것은 허용되거나 합리적인 것이 아닙니다.