Haskell Errore: tipo variabile argomento non nel vincolo: Num (a -> A -> a -> a)

Question

Sono nuovo di Haskell e sto cercando di eseguire il seguente codice di esempio dal mio libro:

intero file:

-- my name 

splitAt1 :: [a] -> ([a], [a]) 
splitAt1 xs = (take 2 xs, drop 2 xs) 

sto testando eseguendo la linea:

splitAt1 [1 2 3 4] 

l'idea è che la matrice di ingresso è diviso in due array in corrispondenza dell'indice 2. Tuttavia, sto ottenendo il errore seguente:

Non type-variable argument 
    in the constraint: Num (a -> a -> a -> a) 
(Use FlexibleContexts to permit this) 
When checking that ‘it’ has the inferred type 
    it :: forall a a1 a2 a3. 
     (Num a1, Num a2, Num a3, Num (a1 -> a2 -> a3 -> a)) => 
     ([a], [a]) 

Qualcuno può aiutarmi a decodificare il messaggio di errore e forse cosa c'è di sbagliato nel codice?

Answer 1

La funzione è soddisfacente, è il tuo argomento che non funziona.

Provare splitAt1 [1,2,3,4] anziché splitAt1 [1 2 3 4] e dovrebbe funzionare.