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 und sind überdies für einige Hauptstudiumsveranstaltungen sehr nützlich (Programmiersprachen, Übersetzer, Algebraische Spezifikation, Techniken zur Entwicklung korrekter Software usw.).

Mehr Informationen zum Kurs

• Die Termine von Vorlesung und Tutorien stehen in stud.ip Dort kann man sich für die Veranstaltung anmelden und (ab Mittwoch, den 2. 11. 2011 um 12 Uhr) für eine der Tutorengruppen eintragen.
• Vorlesung (Inhalt, Zeitplan, Folien, Skript)
• Aufgaben (Ausgabe, Abgabe, Blätter, Bewertung)
• Scheine (Relevanz, Kriterien, Spielregeln, Punktvergabe)
• Fachgespräche (Inhalt, Anmeldung, Ablauf)
• Haskell (Einführungen, Sprachbeschreibung, ghci)
• Lehrbücher und interessante Artikel zum Thema
• Dank