Ich habe angefangen, mich durch Erik Meijers zu arbeiten13-teilige Vorlesungen (und Graham Hutton'sFolien) um Haskell zu lernen.

Auf den Folien für Kapitel 4 auf Seite 13 wird die Pattern-Matching-Syntax für n + k Patterns vorgestellt. Insbesondere heißt es:

Wie in der Mathematik können Funktionen für ganze Zahlen mithilfe von n + k Mustern definiert werden, wobei n eine ganzzahlige Variable und k> 0 eine ganzzahlige Konstante ist.

pred :: Int -> Int
pred (n+1) = n

Als ich dies alleine in der REPL versuchte, erhalte ich eine Fehlermeldung:

*Main> let mypred (n+1) = n

<interactive>:65:13: Parse error in pattern: n + 1

Ebenso, wenn ich es in einem probiere*.hs Datei

mypred :: Int -> Int
mypred (n+1) = n

Der Compiler gibt eine ähnliche Beschwerde:

/Users/pohl/Code/praxis-haskell/helloworld.hs:14:9:
    Parse error in pattern: n + 1

Verstehe ich nicht, wie n + k Muster verwendet werden sollen?