Funktionale Programmierung und Metaprogrammierung – Interaktiv in Common Lisp
Dieses Buch zu Common Lisp stellt in praktischen Beispielen Verfahren vor, die weit über das auf dieser Website Präsentierte hinausgehen. Insbesondere geht es darin um Funktionale Programmierung und Makros, den beiden Geheimwaffen moderner Softwareentwicklung.
Die Funktionale Programmierung schöpft heute insbesondere aus der Kategorientheorie. Sie hat sehr interessante Anwendungsmöglichkeiten in der Programmierung, weshalb ich sie in diesem Buch gleichfalls mit Anwendungen vorstelle.
Wenn Sie in Mathematik oder Programmierung Erfahrung haben, ist das Buch für Sie richtig. Einsteigern in die Programmerung ohne Mathematik-Hintergrund würde ich im Vorfeld andere Literatur empfehlen.
1 Inhalt
Das Buch ist 400 Seiten stark und beginnt mit einer Einführung in Common Lisp mit Anwendungsbeispielen. Danach wird die Funktionale Programmerung auf 200 Seiten vertieft. Dabei spielen die Grundmuster (Currifizierung, lexikalische Closure, Funktionskomposition) genau so eine Rolle wie die Kategorientheorie und verschiedene Strukturen der Rekursion. Schließlich behandle ich Katamorphismen, Anamorphismen und Hylomorphismen und weitere Morphismen, aus denen mit algebraischen Verfahren Algorithmen zusammengesetzt werden. Dazu gehört auch ein Programm, das sehr gut "Vier-Gewinnt" spielt.
Die Metaprogrammierung mit Makros und das Metaobject-Protokoll werden im vierten Teil vorgestellt.
1.1 Vorschau
Sie können an verschiedenen Stellen im Internet in das Buch hineinsehen. Hier eine Auswahl.
- Alle Kapitel-Zusammenfassungen gibt es bei Springer.
- Google Books gestattet zufällige Abschnitte zu lesen. Nach welchen Regeln das geschieht, ist das Geheimnis von Google.
- Die Vorschau von Amazon gestatt ebenfalls, verstreute Abschnitte zu lesen.
- Meine Autorenseite bei Amazon
- Deutsche Nationalbibliothek
1.2 Sonstiges
Zum Buch gibt es eine Aufstellung der Errata.