Einführung in die funktionale Programmierung mit Haskell
Theoretischer Teil: Der erste Teil des Kurses wird sich mit Grundlagen der Theorie der funktionalen Programmierung befassen. Folgende Themen werden behandelt: • was ist die funktionale Programmierung und was ist der Unterschied zu anderen Paradigmen; • mathematische Grundlagen: Lambda-Kalkül, Typentheorie, Logik; • Rekursion.
Praktischer Teil: Der zweite Teil des Kurses wird sich mit der praktischen Realisierung der funktionalen Programmierung mit Haskell befassen. Folgende Themen werden behandelt: • Einführung in Haskell; • Listen und ihre Anwendungen; • Typen und Typklassen; • Funktion höherer Ordnung; • Module. Im letzten Teil des Kurses haben die Teilnehmer ein kleines Projekt zu bearbeiten, um eine bestimmte Aufgabe in Haskell zu programmieren. |