Funktionales Programmieren (PI 3)

Innovative Konzepte, wie algebraische Datentypen, Funktionen höherer Ordnung und Polymorphie, machen funktionale Programme elegant und flexibel. Nützliche Eigenschaften wie die referenzielle Transparenz und die verzögerte Auswertung erleichtern den Beweis von Termination und Korrektheit. Das führt zu einem Programmierstil, der sich grundlegend vom objektorientierten Programmieren unterscheidet, wie es in Praktische Informatik 1 und 2 gelehrt wird.

Diese Konzepte und Eigenschaften sollte jede InformatikerIn kennengelernt haben - zum Beispiel in Gestalt der modernen funktionalen Sprache Haskell, die in dieser Veranstaltung verwendet wird. Auch wenn gute Kenntnisse im funktionalen Programmierens (noch) nicht in jeder Stellenausschreibung verlangt wird, vermitteln sie eine abstraktere Sicht auf Datenstrukturen und Algorithmen. Außerdem werden immer mehr funktionale Konzepte in Scriptsprachen wie Python und in objektorientierte Sprachen wie Java aufgenommen.

Mehr Informationen zum Kurs

• Die Termine von Vorlesung und Tutorien stehen in stud.ip Dort kann man sich für die Veranstaltung anmelden und sich (irgendwann) für eine der Tutorengruppen eintragen.
• Scheine (Relevanz, Kriterien, Spielregeln, Punktvergabe)
• Auf der Haskell-Seite gibr es Einführungen, die Sprachbeschreibung, das Download von ghci
• Auf Lehrbücher wird im Script hingewiesen (in stud.ip)
• Einige legandäre Artikel zum Thema
• Dank