Modulcode:	MSS0301
Englische Bezeichnung:	Functional Programming Techniques
Modulverantwortliche(r):	Prof. Dr. Michael Hanus
Turnus:	unregelmäßig (SS07)
Präsenzzeiten:	2S
ECTS:	4
Workload:	120 Std.
Dauer:	ein Semester
Modulkategorien:	Sem (MSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

In diesem Seminar werden fortgeschrittene Techniken der funktionalen Programmierung behandelt, die dazu dienen, funktionale Programmierung in verschiedene Anwendungsbereichen erfolgreich einzusetzen. Hierbei werden sowohl funktionale Programmiertechniken für allgemeine Anwendungen als auch die Anwendung funktionaler Programmierung in speziellen Anwendungsbereichen behandelt.

Lernziele:

Die Studierenden erlernen die Erarbeitung wissenschaftlicher Literatur und die eigene Darstellung der Inhalte dieser Literatur. Außerdem erlernen sie Techniken zur angemessenen Präsentation.

Lehrinhalte:

In diesem Seminar werden fortgeschrittene Techniken der funktionalen Programmierung behandelt, die dazu dienen, funktionale Programmierung in verschiedene Anwendungsbereichen erfolgreich einzusetzen. Hierbei werden sowohl funktionale Programmiertechniken für allgemeine Anwendungen (z.B. Pretty Printing, String-Verarbeitung, generische Transformationen) als auch die Anwendung funktionaler Programmierung in speziellen Anwendungsbereichen (z.B. Musikkomposition, Graphikprogrammierung, Webprogrammierung, Hardwarebeschreibung) behandelt. Bei der Themenvergabe wird versucht, auf Vorkenntnisse und Wünsche der Seminarteilnehmer einzugehen. Die Themen werden bei der Vorbesprechung vergeben, so dass Einarbeitung und Vorbereitung des Seminarthemas bereits in den Semesterferien erfolgen kann.

Themenübersicht:

• Pretty Printing mit Kombinatoren
• Generische Programmierung von Datentransformationen
• Effiziente String-Verarbeitung in Haskell
• wxHaskell: GUI-Programmierung mit Haskell
• WASH: Web-Programmierung mit Haskell
• Funktionale XML-Verarbeitung
• Haskore: Funktionales Programmieren von Musik
• Funktionale Programmierung von Bildern
• Lava: Funktionale Hardwarebeschreibung
• Logikprogrammierung mit Haskell

Weitere Voraussetzungen:

Grundkenntnisse der funktionalen Programmierung

Prüfungsleistung:

Seminarausarbeitung und Präsentation der Ergebnisse

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

Die Literatur zu den einzelnen Themen wird individuell bekannt gegeben.

Verweise:

http://www.informatik.uni-kiel.de/~mh/lehre/ss07-seminar.html

Kommentar: