Fortgeschrittene Funktionale Programmierung

Aktuelles

• Termine für die Abschlussprojektprüfungen. Interessenten sind herzlich eingeladen, sich die Präsentationen anzuschauen.
• Für die Teilnahme ist eine simple Selbstanmeldung per UniworX zwingend erforderlich.

Inhalt

Aufbauend auf die Einführung in die funktionale Programmierung im Rahmen der Lehrveranstaltung "Programmierung und Modellierung" (Semester 2), studieren wir fortgeschrittene Techniken der funktionalen Programmierung.

Dies umfasst die Behandlung von I/O und Effekten, Nebenläufige und Parallele Programme, Testen und Verifikation, sowie die Entwicklung ereignisgesteuerter Anwendungen wie Webapplikationen und graphischer Benutzeroberflächen. 

Kenntnisse der Programmiersprache Haskell werden vorausgesetzt. Solide Vorkenntnisse einer anderen funktionalen Sprache (z.B. SML) reichen ebenfalls aus, da zu Beginn des Kurses Haskell-Syntax und die wichtigsten Grundlagen kurz wiederholt werden.

Organisation

• Umfang: 2+2 Semesterwochenstunden (6 ECTS für Modul "Vertiefende Themen der Informatik")
• Vorlesung und Übung: Dr. Steffen Jost
• Prüfung: Der Kurs wird mit der Implementierung eines kleinen Software-Projektes abgeschlossen werden. Präsentation erfolgen nach dem Ende der Vorlesungszeit (Zeitraum wird in der Vorlesung vereinbart).

Zeit und Ort

Hinweis: Die Vorlesungen am 6.6. und 18.7.17 entfallen.

Material

Vorlesungsfolien und Nachrichten finden Sie auf folgender Unterseite, welche auch einen RSS-Feed anbietet.

Übungsblätter erhalten Sie per UniworX. 

Literatur

• Bryan O'Sullivan, Don Stewart, John Goerzen, "Real World Haskell", O'Reilly, November 2008, ISBN: 0-59651498-0
• Simon Marlow. "Parallel and Concurrent Programming in Haskell". O'Reilly, July 2013, ISBN 978-1-449-33594-6
• Michael Snoyman. "Haskell and Yesod". O'Reilly, April 2012, ISBN 978-1-449-31697-6
• Miran Lipovača, "Learn You a Haskell for Great Good!", No Starch Press, 2011, ISBN 1-59327-283-9
• John Hughes, "Why Functional Programming Matters". In The Computer Journal, 32(2):98-107, Apr 1989

Weitere Informationen

• Abschlussprojekte zu dieser Veranstaltung im WiSe15/16 und WiSe14/15.
• Haskell Tool Stack (installiert dann GHC lokal im User-Space)