Funktionale und Applikative Programmierung

Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verständliche Einführung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlagen bis zu Implementierungstechniken. Schwerpunkte bei den Grundlagen sind der lKalkül und die kombinatorische Logik. Der Hauptteil umfasst die Vorstellung der vielschichtigen Ausprägungen in den unterschiedlichen Programmiersprachen. Bei den Implementierungstechniken wird neben klassischen Interpreter- und Compilertechniken auch ein Ausblick gegeben, wie sich derartige Programmiersprachen zukünftig auf die Entwicklung neuer Rechnerstrukturen auswirken können, die nicht mehr auf der von-Neumann-Architektur beruhen.

Leicht verständliche Einführung in die vielschichtige Thematik Schwerpunkte sind der ungetypte Lambda-Kalkül von Church sowie die Vorstellung funktionaler und applikativer Programmiersprachen Zahlreiche Übungsaufgaben mit Lösungen Includes supplementary material: sn.pub/extras

Zusammenfassung

From the reviews: "An excellent compendium of what has been done and achieved in former times around the topics of the book ... . The book is recommended for readers looking for mathematical foundations of functional and applicative programming, and for software and hardware realisations resulting from original research work of the last decades of the 20th century." (Hans-Jürgen Hoffmann, Zentralblatt MATH, Vol. 1180, 2010)

Inhalt
Mathematische Grundlagen.- Programmiersprachen.- Implementierungstechniken.