Funktionale Programmierung
LVA 185.A03, VU 2.0, ECTS 3.0

Funktionale Programmierung

(zweistündige Vorlesung mit Übung; angeboten regelmäßig in Wintersemestern)

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

Die LVA 185.A03 Funktionale Programmierung wird zur Zeit regelmäßig im Wintersemester eines Studienjahrs angeboten.

Aktuelle Abhaltung

Funktionale Programmierung WS 2012/2013

Zurückliegende Abhaltungen

Weitere allgemeine Informationen

Inhalt

Die Vorlesung gibt eine Einführung in die Grundlagen und Konzepte funktionaler Programmierung. Dabei werden insbesondere die folgenden Prinzipien funktionaler Programmierung vorgestellt und behandelt:

Programme als Systeme rekursiver Rechenvorschriften
Ausdrücke, Ausdrucksauswertung, Auswertungsstrategien
Funktionen, Funktionale, Rekursion
Datenstrukturen, Module, Ein- und Ausgabe
Muster, Monaden, Polymorphie
Reflektive Programmierung
...

und die Umsetzung dieser Konzepte in Haskell.

Ziele

Die Teilnehmer sollen einen Überblick über die wichtigsten Konzepte funktionaler Programmiersprachen bekommen und lernen, diese Konzepte sinnvoll einzusetzen.

Vortragender

Jens Knoop.