392023 Techniken der funktionalen Programmierung (S) (SoSe 2003)

Aufbauend auf den oberflächlichen Kenntnissen der funktionalen Sprache Haskell, die in der Einführungsvorlesung (A&D I) vermittelt werden, geht es in diesem Seminar um Techniken und auch Probleme, die für die funktionale Programmierung spezifisch sind. Dazu gehört zunächst eine etwas genauere Auseinandersetzung mit der Sprache Haskell -- insbesondere die Erklärung der lazy Auswertungsstrategie und ihrer Konsequenzen. Weitere Themen sind z.B.  die Programmierung mit unendlichen Datenstrukturen, das Programmieren mit Unbekannten, die Erkennung von Speicherlecks, und die Entwicklung von Kombinatorsprachen.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Algorithmen und Datenstrukturen I.