Kompositum und Visitor

Definition eines Besucher-Objektes
(für Rekursionsmuster mit Resultattyp R über List<A>)
entspricht einem Tupel von Funktionen

interface Visitor<A,R> {
  R nil();
  R cons(A elem, R result); }

Empfangen eines Besuchers:
durch jeden Teilnehmer des Kompositums

interface List<A> { ..
  <R> R receive (Visitor<A,R> v);  }

• Implementierung
• Anwendung (length, sum)