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