Grundlagen funktionaler Programmierung

Martin Erwig

 
Das Lehrbuch vermittelt kompakt und dennoch tiefgehend grundlegende Konzepte, fortgeschrittene Programmiertechniken, formale Grundlagen sowie Implementierungsaspekte moderner funktionaler Programmiersprachen auf der Basis von Standard ML. Der Leser lernt spezielle Techniken der funktionalen Programmierung, wie z.B. pattern matching, polymorphe Funktionen, Funktionen höherer Ordnung und verzögerte Auswertung. Diese werden an Beispielen erprobt. Außerdem wird das Verständnis der formalen Grundlagen funktionaler Sprachen vermittelt. Dies beinhaltet u.a. die Themen Lambda-Kalkül und Typinferenz. Es wird darüber hinaus demonstriert, daß mathematische Methoden problemlos auf funktionale Sprachen anwendbar sind, so daß man Korrektheitsbeweise und auch optimierende Programmtransformationen sehr leicht durchführen kann.
Dieses Buch wendet sich primär an Informatik-Studenten und Programmierer, die bereits etwas Erfahrung im Programmieren haben. Es enthält zahlreiche Aufgaben mit Lösungen. Sämtliche im Buch abgebildeten Programme sind getestet und per WWW verfügbar. Sie laufen unter einer frei erhältlichen ML-Implementierung, die es für Unix und Windows gibt (WWW-Verweise im Buch).


Vorwort (Postscript-Datei)

Inhaltsverzeichnis (Postscript-Datei)

Programme zu den Kapiteln 1, 2, 3 und 6:

Kapitel 1 
Kapitel 2
Kapitel 3
Kapitel 6
   
 

(Erschienen März 1999 als Lehrbuch im Oldenbourg Verlag)
 


Letzte Änderung: 12. März 1999, Martin Erwig (erwig@fernuni-hagen.de)