Funktionale Programmierung in Haskell

Ankündigung

Das Seminar soll wöchentlich stattfinden. Der Termin wird nach Absprache festgelegt. Am Montag, den 13. Oktober um 16:15 Uhr findet in O27/531 eine Vorbesprechung statt.

Inhalt

Imperative Programme sind aus Anweisungen zusammengesetzt. Die Ausführung einer Anweisung im aktuellen Zustand bewirkt den Übergang in einen neuen Zustand. Dabei ist der Zustand durch die Werte von Variablen, oder auf Maschinenebene durch den Inhalt von Speicherzellen, gekennzeichnet.

Im Gegensatz dazu sind funktionale Programme deklarativ: Sie beschreiben direkt eine Abbildung von Eingabewerten auf Ausgabewerte. Es gibt keine Variablen und keinen Zustand: Die Auswertung eines Ausdrucks liefert immer denselben Wert (referential transparency).

Das Seminar beschäftigt sich anhand der Programmiersprache Haskell mit funktionaler Programmierung. Mögliche Vortragsthemen sind:

  • grundlegende Konzepte
  • einfache Datentypen
  • Listen und Listoperationen
  • Bäume
  • Auswertungsstrategien und Effizienz
  • abstrakte Datentypen
  • unendliche Listen
  • Monaden

Zu erbringende Leistungen sind:

  • Teilnahme an den Seminartreffen
  • Ausarbeitung und Halten eines Vortrags zu einem der angebotenen Themen

Vorlesungszeiten

nach Vereinbarung