Gliederung der Vorlesung

• Grundlagen: algebraische Datentypen, Pattern Matching
• Funktionales Programmieren:
  • Fkt. höherer Ordnung, Rekursionsmuster
  • Funktoren, Monaden (Zustand, Nichtdeterminismus, Parser, Ein/Ausgabe)
  • Bedarfsauswertung, unendl. Datenstrukturen
  • fortgeschrittene Datenstrukturen
  • Nebenläufigkeit, Parallelität
• Logisches Programmieren:
  • Wiederholung Prolog

    (Relationen, Unifikation, Resolution)

  • Mercury ($\approx$ Prolog mit statischen Typen und Modi)