Die vorige Implementierung von reverse
ist (für einfach verkettete Listen) nicht effizient.
Besser ist:
reverse xs = rev_app xs Nilmit Spezifikation
rev_app xs ys = append (reverse xs) ysÜbung: daraus die Implementierung von
rev_app
ableiten
rev_app xs ys = case xs of ...