- 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)
- Code-Qualität, Code-Smells, Refactoring
Johannes Waldmann
2013-06-11
