Funktionale Programmierung
Modulnummer:
1101320
Leistungspunkte:
3 ECTS
Lehrveranstaltungen:
- Vorlesung Funktionale Programmierung (2 SWS)
- Übung Funktionale Programmierung (1 SWS)
Prüfung:
Klausur (40 min) oder mündliche Prüfung (20 min)
Prüfungsvorleistungen:
Lösen von Übungsaufgaben
Inhalt:
- Programmausführung durch Textersetzung
- Funktionen als First-Class-Values
- Typinferenz und Polymorphie
- Rekursion und rekursive Datentypen
- Mustervergleiche und Listenkomprehensionen
- Verzögerte Auswertung und latent unendliche Datenstrukturen
- Funktionale und Funktionen höherer Ordnung
- Monaden und zustandsbehaftete Berechnungen
- Theoretische Fundamente: Auswertungsstrategien, Church-Rosser-Eigenschaft und Lambda-Kalkül