Zusammenfassung Muster

• zu jedem Typ-Konstruktor T gehört ein fold-Muster, das ,,natürliche`` Funktionen T a -> b beschreibt.

  Das Muster ist eine Funktion höherer Ordnung, ihre Argumente sind Funktionen--für jeden Konstruktor eine.

  (Wie sieht also das fold-Muster für Listen aus?)

• wenn die Programmiersprache es gestattet, Funktionen höherer Ordnung zu benutzen, dann sind Entwurfsmuster (bes. Verhaltensmuster) einfach selbst Funktionen.

  ...wenn nicht, muß man diese erst ,,erfinden`` und dann dicke Bücher darüber schreiben.