[TU Dresden]

Funktionale Programmierung und Typtheorie

Technische Universität Dresden
Institut für Theoretische Informatik


Information zur Lehrveranstaltung (Studiengang Informatik - Fachgebiet Theorie der Programmierung)

Lehrbeauftragte: Dr. Monika Sturm

Die Lehrveranstaltung thematisiert die semantischen Grundkonzepte getypter funktionaler Programmiersprachen (z.B. Haskell). Das sind: der Lambda-Kalkül als Programmiersprache, der getypte Lambda-Kalkül (nach Church und Curry), der polymorphe Lambda-Kalkül zweiter Ordnung, der polymorphe Lambda-Kalkül dritter Ordnung, der Lambda-Würfel, polymorphe Datentypen und Funktionen, Typsysteme und Typklassen, verzögerte Auswertung, funktionale Parser, Verifikation und Programmtransformation und Monaden.

Informationen zum Beginn der Lehrveranstaltung im WS 2007/2008 am 8.10.2007

Die Lehrveranstaltung beginnt mit der ersten Lehrveranstaltungswoche. Die erste Vorlesung findet am Montag, den 8.10.2007 in der 2. DS (INF/E07) statt. Zu den Modalitäten des Übungsbetriebes (Donnerstags, 2.DS, INF/E01) wird in der ersten Lehrveranstaltung informiert.

Es besteht die Möglichkeit, inhaltliche und organisatorische Fragen zur Lehrveranstaltung innerhalb einer Mailingliste zu diskutieren.

Lehrmaterial

Vorlesungsunterlagen werden an dieser Stelle aktuell zur Verfügung gestellt.

  • Vorlesung Kapitel 1, 8.10.07
  • Vorlesung Kapitel 2 (Teil 1), 11.10.07, 15.10.07
  • Vorlesung Kapitel 2 (Teil 2), 15.10.07
  • Vorlesung Kapitel 2 (Teil 3), 22.10.07, 29.10.07
  • Vorlesung Kapitel 2 (Teil 4), 5.11.07   (als pdf)
  • Vorlesung Kapitel 3, 8.11.07   (als pdf)
  • Vorlesung Kapitel 4, 12.11.07   (als pdf)
  • Vorlesung Kapitel 5 (Teil 1), 19.11.07, 26.11.07   (als pdf)
  • Vorlesung Kapitel 5 (Teil 2), 3.12.07   (als pdf)
  • Vorlesung Kapitel 6, 10.12.07, 17.12.07, 7.01.08   (als pdf)  BMF und das minimax-Problem
  • Vorlesung Kapitel 7, 14.01.08, 21.01.08   (als pdf)

    Am 28.01.08 findet keine Lehrveranstaltung statt. Die Lehrveranstaltung am 31.01.08 beinhaltet eine Zusammenfassung und einen Abschluss der Übungsaufgaben.

    Übungsaufgaben

    Übungsaufgaben sind im Vorfeld der jeweiligen Übung auf dieser Seite zu finden und selbständig auszuarbeiten. In den Übungen erfolgt die Diskussion der studentischen Lösungen. Die erste Übung findet am 18.10.07 statt.

    1. Übungsblatt (18.10.07)
    2. Übungsblatt (18.10.07, 25.10.07)
    3. Übungsblatt (1.11.07)
    4. Übungsblatt (15.11.07)
    5. Übungsblatt (22.11.07, 29.11.07)
    6. Übungsblatt (29.11.07)
    7. Übungsblatt (20.12.07)
    8. Übungsblatt (17.01.08)

    Literatur

    Die hier erwähnte Literatur kann zum Teil über den WebOPAC der SLUB gefunden werden.

    Dokumentationen

    Implementierungen

    Foren


    Letzte Änderung: Wednesday, 22-Oct-2008 10:35:46 CEST