Vorlesung

Unser grober Plan sieht vor, dass wir uns bis Weihnachten mit den grundlegende Konzepte der funktionalen Programmierung beschäftigen, wie Funktionsdefinition, Typisierung, Basisdatentypen, Funktionen höherer Ordnung, Polymorphie, algebraischen Datentypen und abstrakten Datentypen (ADTs). Im neuen Jahr werden wir dann fortgeschrittene Konzepte kennenlernen, mit denen wir auch all das realisieren können, was in objektorientierten oder imperativen Sprachen programmiert werden kann. Abschließend werden wir entweder einen Ausflug ins logische Programmieren unternehmen oder ein aufwändigeres Beispiel funktional programmieren (mit Grafik, Interaktion und Animation).

Der genauere Zeitplan (mit Links auf vorhandene Folien in PDF und uf den Folien erwähnten Haskell-Programme) sieht so aus:

Termin Themen
20. Oktober
PDF .hs Organisation (Scheinkriterien)
Einführung: Geschichte, referenzielle Transparenz, Auswertung
einfache Funktionen auf Zahlen/Zeichenketten, Standardtypen, hugs und ghci
27. Oktober
PDF .hs Syntax von Funktionen: Signatur, Abseits, bedingte Gleichungen, Kommentare
Entwurf funktionaler Proframme: Nim-Spiel,
Bool, Int/Integer, Double/Rational, Tupel, Listen, Char, String
3. November
PDF .hs Listenumschreibungen, Polymorphie, polymorphe Listenfunktionen,
lokale Definitionen, patterns, Rekursion
10. November
PDF .hs Rekursion und Induktion (vollständig, strukturell, Fixpunkt-)
Listen-Funktionen höherer Ordnung
17. November
PDF .hs Funktionen als Werte, partielle Anwendung, Schönfinkel/Curry,
Typklassen, polymorphe Typinferenz
24. November
PDF .hs Datenabstraktion, algebraische Datentypen, rekursive polymorphe Typen
1. Dezember
PDF Store1 Store2 Stack Queue Set1 Set2 Abstrakte Datentypen, Module, Schnittstelle, Import
8. Dezember (bestreikt)
PDF Slides8 Parser Expr1 verzögerte Auswertung, Striktheit, streams, Parsing
15. Dezember ausgefallen (Streik)
5. Januar Vorlesung vom 8. Dezember (ohne Parsing)
12. Januar
PDF .hs IO und Monaden

19. Januar
PDF .hs Arrays.hs Effiziente funktionale Programme

26. Januar
PDF .pl Logik-Programmierung in Prolog
2. Februar
PDF .pl Logik-Programmierung in Prolog

Leider gibt es kein deutschsprachiges Lehrbuch zum Thema der Lehrveranstaltung. Daher empfehlen wir das Buch von Simon Thompson: Haskell - The Craft of Functional Programming (Addison-Wesley 1999, 2. Auflage).
Durch Verhandlungen mit dem Verlag haben wir erreicht, dass dieses Buch in der Universitätsbuchhandlung zum Vorzugspreis von 47 Euro erhältlich ist. (Regulär kostet es ca. 58 Euro.) Amazon (als global player) kann das Buch dank Direktimport aus USA allerdings schon ab 45 Euro anbieten.

Autor: Dr. Berthold Hoffmann

AG BKB

Zuletzt geändert am: 2. Februar 2004