Mutual Rekursion in ungeraden/geraden Funktionen in Haskell

Question

in Kapitel 6 "Programming in Haskell" von Graham Hutton gibt es einen Abschnitt "6.5 Mutual Rekursion", dass das folgende Beispiel enthält:

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

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

Ich wollte es ausprobieren. Ich habe den Code in Hof.hs Datei, lief GHCI (Version 7.8.3), typisiert

:l Hof.hs 

und bekam die folgende Fehlermeldung

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

Warum bin ich diese Nachricht bekommen? Ist der Code syntaktisch veraltet oder so?

Answer 1

n + k patterns have been removed von Haskell und sind nicht mehr verfügbar. Schreiben Sie es wie folgt statt:

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

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

Beachten Sie, dass diese Funktion schrecklich für negative Eingänge ausfällt, so dass Sie wahrscheinlich es mit abs erweitern möchten.