Haskell polimorfico Albero Somma

Question

ho scritto il seguente codice per la gestione di un albero binario polimorfico in Haskell come preparazione per l'esame di programmazione funzionale la prossima settimana:

data ITree t = Leaf | Node t (ITree t) (ITree t) 
      deriving (Eq, Ord, Show) 

treeSum :: ITree t -> Int 
treeSum Leaf = 0 
treeSum (Node n t1 t2) = n + (treeSum t1) + (treeSum t2) 

Ora ho il problema, che il codice non lo fa compile:

...\tree.hs:8:26: 
Couldn't match type `t' with `Int' 
    `t' is a rigid type variable bound by 
     the type signature for treeSum :: ITree t -> Int 
     at ...\tree.hs:7:1 
In the first argument of `(+)', namely `n' 
In the first argument of `(+)', namely `n + (treeSum t1)' 
In the expression: n + (treeSum t1) + (treeSum t2) 
Failed, modules loaded: none. 
Prelude> 

Sai cosa c'è di sbagliato in treeSum? Penso che abbia qualcosa a che fare con il tipo polimorfo di ITree, ma non so come risolverlo. Devo specificare che il tipo t deve essere un tipo che può essere contato/enumerato? Probabilmente con un'istanza di classe di una classe di questo tipo?

Grazie in anticipo per il vostro aiuto!

Simon

Answer 1

Il compilatore non può verificare che il risultato sarà un Int. Allo stato attuale, è possibile chiamare treeSum con un argomento ITree Integer (e le operazioni non produrranno un Int).

Provare a modificare la firma su treeSum :: Integral t => ITree t -> t.