Gliederung der Vorlesung

• Terme, Termersetzungssysteme algebraische Datentypen, Pattern Matching, Persistenz
• Funktionen (polymorph, höherer Ordnung), Lambda-Kalkül, Rekursionsmuster
• Typklassen zur Steuerung der Polymorphie
• Bedarfsauswertung, unendl. Datenstrukturen (Iterator-Muster)
• weitere Entwurfsmuster
• Code-Qualität, Code-Smells, Refactoring