Funktionale und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

Wolfram Lippe

Language: German

Publisher: Springer

Published: Mar 20, 2009

Description:

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 l–Kalkü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.

Review

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)

From the Back Cover

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 l–Kalkü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.