Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der
Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem Titel
"Einfiihrung in die funktionale Programmierung" gehalten hat. Die
Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik
als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verstandnis des
Buches sind die Kenntnis von Grundbe- griffen der Informatik und
Programmierung. Die Vorlesung, wie auch das Bueh, besteht aus zwei
Tellen. Der erste Tell um- faBt die Kapitell bis 8 und ist praktisch
orientiert. Er gibt eine kurze Einfiihrung in die rein-funktionale
Programmiersprache Gofer mit grundlegenden Program- mierteehniken und
Methoden der Verifikation und Transformation von Program- men gefolgt
von einem kurzen Ausbliek auf fortgesehrittene Techniken und wei-
terfiihrende Konzepte. Insbesondere wird auf Typklassen,
Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe
eingegangen. Typklassen und Konstruktorklassen erlauben die
kontrollierte Uberladung von benutzerde- finierten Funktionen. Monaden
ermoglichen unter anderem die Integration von in rein-funktionale
Programmierspraehen. Variablen im herkommlichen Sinn 1m zweiten Teil
(Kap. 9 bis 15) werden verschiedene Modelle fur Semantik und Ausfiihrung
funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine
Einfiihrung in die Bereichstheorie, universelle Algebra, operationelle
und de- notationelle Semantik, und den Lambda-Kalkiil. Ferner werden
Typen und ihre Semantik, die automatisehe Rekonstruktion von Typen,
sowie Grundbegriffeder abstrakten Interpretation und Striktheitsanalyse
behandelt. Damit verzahnt wer- den Implementierungstechniken fur
funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert.