Seminar Funktionale Programmiertechniken

Sommersemester 2007
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion
Hauptstudium

Zielgruppe

Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) und im Masterstudiengang Informatik

Voraussetzungen

Grundstudium

Inhalt

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. Freie Seminarplätze können ggf. auch noch später vergeben werden.

Themenübersicht (vorläufig):

• 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

Vorträge und Literatur

Siehe Liste der Seminarvorträge.

Anmeldung

Eine erste Vorbesprechung mit Vorstellung der Themen war schon, allerdings: Es sind noch Plätze frei! Anmeldung (persönlich oder per email) bei Michael Hanus.

Sonstiges

Die Hinweise zur Ausarbeitung und zum Seminarvortrag sind unbedingt zu beachten!