Nächste Seite:
Algebraische Datentypen in OOP
Aufwärts:
Daten
Vorherige Seite:
Listen
Operationen auf Listen
append:
Definition
Beweis Assoziativität, neutrales Element
reverse:
Definition
Beweis:
reverse (reverse xs) == xs
benutze Funktion mit dieser Spezifikation
arev :: [a] -> [a] -> [a] arev xs ys == append (reverse xs) ys
zur effizienteren Implementierung von
reverse
Johannes Waldmann 2012-06-25