Die Studierenden erhalten in Theorie und Praxis ein breites und
tiefes Verständnis fortgeschrittener Konzepte und Prinzipien
funktionaler Programmierung und ihrer Anwendungen und sind befähigt,
diese in bekannten und unbekannten Anwendungskontexten kompetent und
angemessen einzusetzen.
Die Lehrveranstaltung vermittelt in Theorie und Praxis
fortgeschrittene Konzepte und Prinzipien funktionaler Programmierung
und ihre Anwendung. Die Vorlesung spannt dabei den Bogen von
funktionalen Programmierprinzipien über Qualitätssicherung und
fortgeschrittene Sprachkonzepte bis hin zu Anwendungen. Regelmäßig
gestellte Aufgaben im Übungsteil zu Problemstellungen passender Art,
Größe und Schwierigkeit erlauben die vorgestellten Konzepte und
Prinzipien unmittelbar und kontinuierlich praktisch zu erproben und
anzuwenden und führen so zu einem profunden theoretischen und
praktischen Verständnis der vorgestellten Konzepte und Prinzipien.
Teil I: Motivation
- Warum funktionale Programmierung wichtig ist
Teil II: Programmierprinzipien
- Programmieren mit Strömen
- Programmieren mit Funktionen höherer Ordnung
- Gleichungsbasiertes Rechnen mit Programmen
Teil III: Qualitätssicherung
Teil IV: Fortgeschrittene Sprachkonzepte
- Funktionale Felder
- Abstrakte Datentypen
- Monoide
- Funktoren
- Monaden
- Pfeile
Teil V: Anwendungen
- Parsing
- Logische Programmierung funktional
- Pretty Printing
- Funktionale reaktive Programmierung
Teil VI: Erweiterungen und Ausblick
- Erweiterungen für Parallelität und "Real World"-Programmierung
- Abschluss und Ausblick
[ Vorauss. am Mittwoch, den 04.03.2015, findet von 13 Uhr s.t. bis 14
Uhr imHörsaal EI4, 2. Stock, Gußhausstr. 25-29, eine gemeinsame
Vorbesprechung fuer alle am AB "Programmiersprachen und Übersetzer im
SS 2014 angebotenen Lehrveranstaltungen statt. (Abgesagt für SS 2015) ]
Eine spezifische Vorbesprechung für die LVA "Fortgeschrittene
funktionale Programmierung" und die erste Vorlesung finden am Do, den
05.03.2015, um 16 Uhr c.t. im "Seminarraum Argentinierstr." statt.
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 einzelne Teile der Lehrveranstaltung:
- Vorlesungsbesuch und -vor- und -nachbereitung: 35 Std.
- Übungsaufgaben: 30 Std.
- Prüfungsvorbereitung und mündliche Prüfung: 10 Std.