Nächste Seite:
Funktionen als Daten
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Alg. DT und Pattern
Funktionen
Unterabschnitte
Funktionen als Daten
Der Lambda-Kalkül
Lambda-Terme: verkürzte Notation
Freie und gebundene Variablen(vorkommen)
Semantik des Lambda-Kalküls
Ein- und mehrstellige Funktionen
Typen
Rekursion über Bäume (Beispiele)
Rekursion über Bäume (Schema)
Rekursion über Listen
Rekursionsmuster (Prinzip)
Rekursion über Listen (Übung)
Weitere Beispiele für Folds
Strukturerhaltende Folds
Programmtransformationen
Programmtransformationen (II)
Johannes Waldmann 2012-06-25
