Grundlagen der funktionalen Programmierung

Mehr zum Buch

Das Inhaltsverzeichnis umfasst verschiedene Themen, die sich mit grundlegenden und fortgeschrittenen Konzepten der Programmierung befassen. Es beginnt mit einer Einführung in grundlegende Sprachstrukturen, einschließlich Programmierung mit Funktionen, lexikalischer Syntax, Deklarationen und Typausdrücken. Es werden auch Muster und Polymorphie behandelt, gefolgt von Aufgaben zur Vertiefung des Verständnisses. Der nächste Abschnitt widmet sich Funktionen höheren Typs, wie der Funktion map und foldr, sowie deren Anwendung auf Bäume. Fallstudien zur Auswertung von Polynomen, Matrizenoperationen und grafischen Darstellungen von Bäumen werden ebenfalls behandelt. Ein weiterer wichtiger Punkt ist die verzögerte Auswertung, die verschiedene Algorithmen und zirkuläre Datenstrukturen umfasst. Programmeigenschaften wie Induktionsbeweise, Programmsynthese und Transformationen werden ebenfalls thematisiert. Fortgeschrittene Konzepte beinhalten List comprehensions, Parser und Monaden, während der Überblick über verschiedene Programmiersprachen wie Lisp, Haskell und deren Anwendungen gegeben wird. Zusätzlich wird die denotationelle Semantik und Bereichstheorie behandelt, gefolgt von universeller Algebra und Sprachen mit Funktionen erster und höherer Ordnung. Abstrakte Interpretation sowie der λ-Kalkül und seine Anwendungen schließen das Inhaltsverzeichnis ab. Ein Anhang bietet grundlegende Notationen, Syntaxdiagramme und Implementie