Nie można uzyskać typu podpis praca dla prostych funkcji rekurencyjnej

Question

Oto mój kod:

test :: (Num a) => [a] -> a 
test []  = 0 
test [x:xs] = x + test xs 

Jednak kiedy go uruchomić poprzez ghci jako :l test, otrzymuję ten błąd:

[1 z 1] Kompilacja main (test.hs interpretowane)

test.hs:3:7: 
    Couldn't match type `a' with `[a]' 
     `a' is a rigid type variable bound by 
      the type signature for spew :: Num a => [a] -> a at test.hs:2:1 
    In the pattern: x : xs 
    In the pattern: [x : xs] 
    In an equation for `spew': spew [x : xs] = x + spew xs 
Failed, modules loaded: none. 

Staraj się nie śmiać :) to moja pierwsza próba Haskell. Każda pomoc lub wyjaśnienie byłoby niesamowite.

PS: Wiem, że można to łatwo zrobić z zakładką, ale staram się ćwiczyć pisanie własnych podpisów. Z góry dziękuję!!

Answer 1

To znaczy,

test :: (Num a) => [a] -> a 
test []  = 0 
test (x:xs) = x + test xs -- note round brackets 

z okrągłych nawiasach.

[x:xs] jest listą z jednego elementu, która z kolei jest lista, przy czym (x:xs) jest listą z pierwszym elementem x i ogon xs.

Po wpisaniu length (1:[1,1,1]) otrzymasz 4, ale jeśli wpiszesz length [1:[1,1,1]] otrzymasz 1 - jedynym elementem jest lista.

Answer 2

Prawdopodobnie oznaczało dopasować listę jako całość, a nie pierwszym elementem listy:

test (x:xs) = ... 

Jeśli zrobisz inaczej, wzór ma wywnioskować typ [[b]], więc a == [b] według test podpis , więc xs musi mieć typ [b], więc test xs musi mieć typ b ale również wpisać a według podpisania test, co oznaczałoby, że a == [a], co stanowi sprzeczność i prowadzi do błędu zjednoczeniowego :)