ricorsione giudiziaria in pari/dispari funzioni a Haskell

Question

nel capitolo 6 della "Programmazione in Haskell" da Graham Hutton c'è una sezione chiamata "6.5 ricorsione mutua", che contiene il seguente esempio:

even :: Int -> Bool 
even 0  = True 
even (n + 1) = odd n 

odd :: Int -> Bool 
odd 0  = False 
odd (n + 1) = even n 

Volevo provarlo. Ho messo il codice nel file di Hof.hs, imbattuto ghci (versione 7.8.3), digitato

:l Hof.hs 

ed ho ottenuto il seguente messaggio di errore

 
Hof.hs:3:7: Parse error in pattern: n + 1 
Failed, modules loaded: none. 

Perché ricevo questo messaggio? Il codice è sintatticamente scaduto o qualcosa del genere?

Answer 1

n + k patterns have been removed di Haskell e non sono più disponibili. Scriverlo come questo, invece:

even :: Int -> Bool 
even 0 = True 
even n = odd (n - 1) 

odd :: Int -> Bool 
odd 0 = False 
odd n = even (n - 1) 

Nota che questa funzione non riesce terribilmente per gli ingressi negativi, quindi probabilmente si desidera aggiunto un formato di abs.