Funktionale Programmierung - Pepper, Peter

. .

Résumé :
Dieses Werk befasst sich mit Theorie und Praxis der modernen Funktionalen Programmierung. Dabei geht es vor allem um Fragen des Sprachdesigns und der zugeh?rigen Programmiertechniken. Viele der behandelten Konzepte weisen aber weit ?ber die Funktionalen Sprachen hinaus, weil sie f?r alle Arten von Programmiersprachen relevant sind. Im Vordergrund stehen die Ideen und Techniken einer eleganten, sicheren und produktiven Form der Programmierung, die heute in Sprachen wie ML, HASKELL oder OPAL schon weitgehend m?glich sind. Die Autoren gehen aber ?ber den Rahmen der heute verf?gbaren Sprachen hinaus und pr?sentieren Konzepte und Methoden, die erst in den Sprachen der n?chsten Generation verf?gbar sein werden. Die konkret behandelten Themen sind vielschichtig: Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen h?herer Ordnung, die L?sung von Gleichungssystemen durch Fixpunktbildung usw. Es wird gezeigt, dass sich damit vielf?ltige Arten von Problemen auch aus der Numerischen Mathematik kompakt und elegant l?sen lassen. Es werden aber auch fortgeschrittene Sprachkonzepte diskutiert, wie z.B. systematische Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Besonderes Gewicht legt das Buch auf die Integration der Funktionalen Programmierung mit den Paradigmen der objektorientierten, der nebenl?ufigen und der parallelen Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt. Das Buch wendet sich an Leser, die bereits Grundkenntnisse in der Funktionalen Programmierung besitzen und jetzt ihre Programmierfertigkeit verbessern m?chten und tiefer in die theoretischen Grundlagen vordringen wollen.

Sommaire:
Elementare Funktionale Programmierung Eine Wiederholung.- Das Strittigste vorab: Notationen.- Grundlagen der Funktionalen Programmierung.- Faulheit w?hrt unendlich.- Parser als Funktionen h?herer Ordnung.- Strukturierung von Programmen.- Gruppen: Die Basis der Modularisierung.- Operatoren auf Gruppen (Morphismen).- Die Idee der Typisierung.- Typen.- Subtypen (Vererbung).- Polymorphe und abh?ngige Typen.- Spezifikationen und Typklassen: Wie Typen typisiert werden.- Beispiel: Berechnung von Fixpunkten.- Beispiel: Monaden.- Datenstrukturen.- Netter stack und b?se Queue.- Compilertechniken f?r funktionale Datenstrukturen.- Funktionale Arrays und Numerische Mathematik.- Map: Wenn Funktionen zu Daten werden.- Beispiel: Synthese von Programmen.- Integration von Paradigmen.- Zeit und Zustand in der funktionalen Welt.- Objekte und Ein-/Ausgabe.- Agenten und Prozesse.- Graphische Schnittstellen (GUIs).- Massiv parallele Programme.- Integration von Konzepten anderer Programmierparadigmen.

Aus den Rezensionen: Bei diesem Titel ... werden ... fortgeschrittene Leser angesprochen, die mit den Grundlagen der funktionalen Programmierung vertraut sind. ... 'Im Vordergrund stehen Ideen und Konzepte einer eleganten, sicheren und produktiven Form des Programmierens', wobei der Blick in die Zukunft gerichtet ist und Konzepte und Methoden vorgestellt werden, die erst in den Sprachen der n?chsten Generation verf?gbar sein werden. Geeignet f?r Bibliotheken ... an Hochschulstandorten ... Das Lehrbuch kann noch weiter genutzt werden. (Isigkeit, in: ekz-Informationsdienst, 2006)