Behandelte Themen

• algebraische Datentypen
  • Definition
  • Programme mit Fallunterscheidungen
  • Beweis von Programmeigenschaften durch Umformen
  • Rekursionschemata
• Typen
  • jeder Bezeichner hat genau einen Typ
  • Typen höherer Ordnung (Funktionen als Daten)
  • generisch polymorphe Typen
  • Typklassen, Instanzen