Operatoren sind Funktoren, die wahlweise in der Funktor-Argument-Schreibweise oder in der von arithmetischen Ausdrücken her bekannten Operator-Schreibweise notiert werden können:
|
Funktor-Argument-Schreibweise |
Operator-Schreibweise |
|
+( 3, 4) |
3 + 4 |
|
-( *(2, 3), 4) |
2*3 - 4 |
Operatoren können klassifiziert werden nach:
|
Klassifizierungsmerkmal |
Ausprägungen |
Beispiele |
|
Präzedenz (Bindungsstärke) |
Zahl zwischen 0 und 1200 |
„*“ (Präzedenz 400) bindet stärker als „+“ (Präzedenz 500) |
|
Position |
präfix, infix, postfix |
-3, 2+3, 4! |
|
Assoziativität |
linksassoziativ, rechtsassoziativ, nicht schachtelbar |
„-“ ist linksassoziativ, also a-b-c = (a-b)-c ≠ a-(b-c) |
|
Name |
* :- spy |
Kommentar von Simon