- 10. 11.
- Funktionen höherer Ordnung, map,
Partiell angewandte Funktionen,
anonyme Funktionen,
Operator-Schnitte,
Kombinatoren,
fold.
- 17. 11.
- das Typsystem,
Polymorphie,
Typklassen.
- 24. 11.
- Bäume,
Fold für Bäume,
Konstruktorklassen (Functor),
Rechenregeln,
Theorems for Free.
- 1. 12.
- mehr Funktoren,
falsche Funktoren,
Geradeaus-Rechungen,
Monaden (Definition),
Do-Notation,
verzweigende Rechnungen (Ersetzungssysteme, Grammatiken),
( wird nicht oder später behandelt:
zweimal ist einmal,
)
- 8. 12.
-
Nochmal falsche Funktoren,
Theorems for Free,
Monaden (Rechenregeln),
abbrechende Rechnungen (Unifizieren),
Die Außenwelt - IO,
IO-Implementierung mit Streams.
- 15. 12.
-
Parser-Monade,
Monaden mit Null und Plus,
elementare Parser,
kombinierte Parser,
Anwendung: arithmetische Ausdrücke.
(TODO Hinweise auf Beispiel Sequencer, Computeralgebra).
Interpretation arithmetischer Ausdrücke.
Lokale Deklarationen von Variablen
Lokale Deklarationen von Funktionen,
dynamische/statische Bindung
- 5. 1.
-
Bessere Parser,
Layout-Regel in Haskell
Interpreter-Monaden,
Funktionen: dynamische und statische Bindung
Abschließende Bemerkungen zu Teil 2