Die Studierenden erhalten ein umfassendes theoretisches und
praktisches Verständnis der Grundlagen, Prinzipien und Konzepte der
funktionalen Programmierung und lernen, diese auf ihre Eignung zur
Lösung programmiertechnischer Aufgaben zu bewerten und zielorientiert
und angemessen im funktionalen Programmierstil einzusetzen und
anzuwenden.

Die Vorlesung führt in Theorie und Praxis in die Prinzipien und
Konzepte des funktionalen Programmierstils ein und spannt dabei den
Bogen von den Grundlagen bis zur Anwendung. In der
vorlesungsbegleitenden Plenumsübung Haskell Live wird am Beispiel
konkreter Aufgabenstellungen praktisch vorgeführt und diskutiert, wie
sich diese zur Lösung einsetzen lassen. Dabei können insbesondere auch
eigene Lösungsvorschläge vorgestellt und zur Diskussion gestellt
werden. Im Übungsteil wird der funktionale Programmierstil anhand von
Beispielen eigenständig angewendet und eingeübt und so ein vertieftes
theoretisches und praktisches Verständnis für die Konzepte und
Prinzipien funktionaler Programmierung erarbeitet und erworben. Als
Demonstrations- und Implementierungssprache wird in Vorlesung und
Übung die funktionale state-of-the-art Programmiersprache Haskell
verwendet.

Teil I: Einführung

• Motivation
• Grundlagen von Haskell
• Rekursion und Rekursionstypen

Teil II: Applikative Programmierung       

• Auswertung von Ausdrücken
• Programmentwicklung
• Datentypdeklarationen

Teil III: Funktionale Programmierung

• Funktionen höherer Ordnung
• Parametrische und ad hoc Polymorphie

Teil IV: Fundierung funktionaler Programmierung

• Auswertungsstrategien
• Formale Rechenmodelle
• Lambda-Kalkül

Teil V: Ergänzungen und weiterführende Konzepte

• Muster
• Module
• Ein- und Ausgabe
• Programmierprinzipien mit Strömen und Funktionalen
• Monomorphe und polymorphe Typinferenz
• Fehlerbehandlung

Teil VI: Resümee und Perspektiven

• Zusammenfassung und Ausblick

Aufteilung der ECTS-Punkte:

Der Lehrveranstaltung sind 3.0 ECTS-Punkte zugeordnet. Diese
entsprechen einem durchschnittlichen Lernaufwand von 75
Stunden. Dieser durchschnittliche Lernaufwand verteilt sich in
folgender Weise auf die einzelnen Teile der Lehrveranstaltung:

• Vorlesungsbesuch und -vor- und -nachbereitung: 30 Std.
• "Haskell Live"-Plenumsübungsbesuch und -vor- und -nachbereitung: 10 Std.
• Übungsaufgaben: 30 Std.
• Prüfungsvorbereitung und Klausur: 5 Std.

Beurteilung der Beispiele aus der Übung und schriftliche Prüfung
über Vorlesungs- und Übungsstoff. Weitere Angaben zum Beurteilungs-
und Prüfungsablauf sind auf der homepage zur Lehrveranstaltung
gegeben.