392186 Fortgeschrittene funktionale Programmierung in Haskell (V+Ü) (SoSe 2015)

Die Vorlesung behandelt ein breites Band an Themen von Funktionaler Programmierung am Beispiel
der Sprache Haskell. Es soll auf Bereiche eingegangen werden, die in der Vorlesung
"Programmieren in Haskell" nicht oder nur geringfügig angesprochen werden.

Inbesondere wollen wir folgende Themen behandeln:

• Wiederholung von essentiellen Konzepten, wie Functor/Applicative/Monad
• Parsing in Haskell mit attoparsec & Einführung in lens
• GUI-Programmierung (mit leichter Einführung in Functional Reactive Programming)
• effiziente Parallelisierung von Haskell-Programmen und parallele Datenstrukturen
• effiziente Datenstrukturen (2-3-Finger-Trees, Cache-Oblivious Datenstrukturen)
• serialisierbare In-Memory-Datenbanken mit acid-state
• Netzwerkprogrammierung und gegebenenfalls Funktionale Programmierung im Web
• Vorteile und Analyse von Typsystemen
• Tieferführende Theorie (Lambdawürfel, Curry-Howard-Korrespondenz, Rekursionsschemata)

Als Abschlussleistung wird ein Programmierprojekt dienen, das bis zum Semesterende abzuschließen ist.
Details dazu werden in der Vorlesung bekannt gegeben.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Erfolgreiche Teilnahme am Modul "Algorithmen und Datenstrukturen"

Literaturangaben

Die Folien und Übungsblätter finden Sie unter der folgenden Adresse auf GitHub:
https://github.com/FFPiHaskell

Die Mitschnitte der Vorlesung sind auf YouTube zu finden:
https://www.youtube.com/channel/UC5yZfQZrZnug0sgvveTTfnw

Parallel and Concurrent Programming in Haskell
http://chimera.labs.oreilly.com/books/1230000000929

What i wish i knew when learning Haskell
http://www.stephendiehl.com/what/

Learn you a Haskell for great good!
http://learnyouahaskell.com/