Klausur + Übungsnote

Diese Lehrveranstaltung nutzt die Programmiersprache Haskell, um grundlegende und praxisrelevante Konzepte der funktionalen Programmierung zu explorieren. Die ersten drei Wochen des Kurses führen die Teilnehmer in Haskell ein, danach werden weiterführende Ideen des funktionalen Paradigmas thematisiert: algebraische Datentypen; parametrische Polymorphie; Typklassen; domänenspezifische Sprachen und ihre Einbettung; Monaden; Parallelität. Das Material wird mittels Foliensatz, Tafelanschrieben und \emph{Live Coding} vermittelt.

Die Studierenden können grundlegende und weiterführende Konzepte der funktionalen Programmierung in Haskell nachvollziehen. Die Studierenden beschreiben komplexe Datenstrukturen mit den Mitteln des Haskell-Typsystems und entwickeln selbständig Programme, um anspruchsvolle algorithmische Probleme zu lösen. Fortgeschrittene Methoden zur Abstraktion sowohl von Daten (bspw. generalisierte algebraische Datentypen) als auch von Verhalten (z.B. Monad-Transformer) können analysiert und neu geschaffen werden. Die Studierende erschließen sich den Zugang zur weiterführenden Literatur und zu Forschungsthemen in der funktionalen Programmierung.

Bird: Thinking Functionally

Hutton: Programming in Haskell

Bird/Wadler: Introduction to Functional Programming