Operationen auf Listen (II)

Die vorige Implementierung von reverse ist (für einfach verkettete Listen) nicht effizient.

Besser ist:

reverse xs = rev_app xs Nil
mit Spezifikation
rev_app xs ys = append (reverse xs) ys
Übung: daraus die Implementierung von rev_app ableiten

rev_app xs ys = case xs of ...



Johannes Waldmann 2013-06-11