[ und ] definiert.
[Int] ist eine Liste von Int.
Für Listen bestehen Operatoren und eine verkürzte Schreibweise in Haskell.
| Code | Kommentar |
|---|---|
[] | leere Liste |
[a] | Liste über Typ a |
( head:tail ) | erstes Element, Restliste |
type List a = [a] | Typdefinition einer Liste über Typ a |
Oft soll ein Funktion auf alle Elemente oder bestimmte Elemente einer Liste angewendet werden. In Haskel existiert eine kurze Schreibweise für die Verarbeitung einer Liste.
| Ausdruck | Erklährung |
|---|---|
[ f x | x <- xs, praedikat ] | für alle x aus Liste xs, führe f unter Bedingung praed aus |
[ 2*n | n <- ex , isEven n, n>3 ] |
Mit x <- xs wird das aktuelle Kopfelement x aus der Liste xs bezug genommen.
Der Operator | sagt aus, es solle die Linke Seite auf alle Elemente der der Liste auf der rechten Seite angewand werden.
Per , getrennt, folgen optional beliebig viele Prädikate.
Die Linke Seite wird nur berechnet, wenn alle Prädikate zutreffen.