Funktionale Programmierung

Die zukünftige Entwicklung großer Softwaresysteme setzt entsprechend Aufgabenspezifikation
die Nutzung unterschiedlicher Programmierparadigmen
innerhalb eines Softwaresystems voraus. Der Studierende soll unterscheiden
lernen,wann welches Paradigma am zweckmäßigsten anzuwenden ist.
Insbesondere durch Übung und Praktikum werden Fertigkeiten im funktionalen
Programmieren erworben, wobei die Besonderheiten gegenüber
anderen Paradigmen im Vordergrund stehen.

Lehrinhalte
Die funktionale Programmierung stellt das zweite wichtige Programmierparadigma
neben der imperativen Programmierung dar. Es basiert auf dem
Prinzip der Textersetzung (“equational reasoning“) und behandelt Funktionen
als “first class objects“. Das Modul behandelt die theoretischen
Grundlagen der funktionalen Programmierung, führt in die Sprache Haskell
ein und zeigt verschiedene praktische Anwendungen. Die im Modul
integrierten Übungen ermöglichen konkrete Erfahrungen mit der funktionalen
Programmierung zu machen.
Inhalte
Das Modul besteht aus den Lerneinheiten
• Theoretische Basis der funktionalen Programmierung (Lambda-Kalkül)
und Beziehung zur Theorie partieller Funktionen
• Typische Datenstrukturen und Programmkonstrukte
• Strategien der Entwicklung funktionaler Software
• Beweis von Programmeigenschaften
• Einbeziehung anderer Programmierparadigmen unter Berücksichtigung von
Eingabe/Ausgabe.