Saarland University
Computer Science
Programming Systems
Teaching
Funktionale Programmierung

Startseite
Literatur
Termine

Funktionale Programmierung

Proseminar, 5 Credit Points

Wintersemester 2008/09

Dr. Jan Schwinghammer, Prof. Gert Smolka
Programming Systems Lab, Department of Computer Science, Saarland University

In diesem Proseminar wollen wir uns mit "Perlen" der funktionalen Programmierung befassen:

elegante Algorithmen und effiziente Datenstrukturen in funktionalen Programmiersprachen
Domain-spezifische Programmbibliotheken (z.B. für Parsing)
Herleitung von (effizienten) Programmen aus "offensichtlich korrekten", aber ineffizienten Beschreibungen

Das Seminar richtet sich an Studenten ab dem 2. Semester, die die Vorlesung Programmierung 1 erfolgreich besucht haben. Neben den fachlichen Aspekten sollen das Lesen, Zusammenfassen und die Präsentation von Forschungsergebnissen erlernt werden.

Die Vortragsthemen des Proseminars basieren größtenteils auf Forschungsartikeln, die als "Functional Pearls" in der Zeitschrift Journal of Functional Programming oder einer der großen Konferenzen im Bereich Programmiersprachen erschienen sind.

Einige dieser Arbeiten benutzen die Programmiersprache Haskell. Daher werden wir uns in den ersten Treffen etwas näher mit den Besonderheiten von Haskell im Vergleich zu Standard ML beschäftigen:

bedarfsgesteuerte Auswertung und "unendliche" Datenstrukturen
Haskell Typsystem, insbesondere Typklassen und monadische Typen

Benotung und Arbeitsaufwand

Um die Leistungspunkte für diesen Kurs zu erhalten, müssen Sie

in der Lesegruppe und zu allen Vorträgen anwesend (und vorbereitet) sein,
aktiv an den Diskussionen teilnehmen,
einen Vortrag halten (20 Minuten, plus Diskussion), und
eine schriftliche Ausarbeitung verfassen (Abgabe als pdf).

Die Vortragsfolien sollen spätestens 1 Woche vor dem Vortrag mit dem jeweiligen Betreuer diskutiert werden. Abgabetermin für die Ausarbeitung ist 2 Wochen nach dem jeweiligen Vortrag.

Anmeldung und Organisatorisches

Das Vorbereitungstreffen war am Mittwoch, 21.10.2008, und die Anmeldung ist geschlossen. Gäste während der Vorträge sind willkommen; bitte vorher eine kurze email schicken.

Um die Leistungspunkte für diese Veranstaltung zu erhalten, müssen Sie sich bis 5. Dezember bei HISPOS anmelden.

Lesegruppe und Vorträge finden jeweils Mittwochs 16:15-17:45 in Raum 528 (Gebäude E1.3) statt.

Last Change: Thu 01 Jan 1970 00:00:00 UTC |