Bewertung:
Das Buch „Types and Programming Languages“ von Benjamin Pierce gilt weithin als hervorragende Einführung in die Theorie der Programmiersprachen, insbesondere der Typsysteme. Es bietet einen klaren und strukturierten Ansatz, der es Lesern mit unterschiedlichen Vorkenntnissen zugänglich macht. Während der Inhalt für seine Tiefe und Vollständigkeit gelobt wird, haben einige Nutzer die Kindle-Version als problematisch empfunden und Probleme mit der Formatierung und Lesbarkeit angeführt.
Vorteile:Ein klarer und verständlicher Schreibstil macht komplexe Themen leichter zugänglich.
Nachteile:Gut organisierte und umfassende Abdeckung von Programmiersprachen und Typsystemen.
(basierend auf 31 Leserbewertungen)
Types and Programming Languages
Eine umfassende Einführung in Typensysteme und Programmiersprachen.
Ein Typsystem ist eine syntaktische Methode zur automatischen Überprüfung des Nichtvorhandenseins bestimmter fehlerhafter Verhaltensweisen durch Klassifizierung von Programmphrasen nach den Arten von Werten, die sie berechnen. Das Studium von Typsystemen - und von Programmiersprachen aus einer typentheoretischen Perspektive - hat wichtige Anwendungen in der Softwareentwicklung, im Sprachdesign, in Hochleistungscompilern und in der Sicherheit.
Dieser Text bietet eine umfassende Einführung sowohl in die Typensysteme der Informatik als auch in die grundlegende Theorie der Programmiersprachen. Die Herangehensweise ist pragmatisch und operativ; jedes neue Konzept wird durch Programmierbeispiele motiviert und die eher theoretischen Abschnitte werden durch die Bedürfnisse von Implementierungen bestimmt. Zu jedem Kapitel gibt es zahlreiche Übungen und Lösungen sowie eine laufende Implementierung, die über das Internet verfügbar ist. Die Abhängigkeiten zwischen den Kapiteln sind explizit gekennzeichnet, so dass der Leser eine Vielzahl von Wegen durch das Material wählen kann.
Zu den Kernthemen gehören der untypisierte Lambda-Kalkül, einfache Typsysteme, Typrekonstruktion, universeller und existenzieller Polymorphismus, Subtypisierung, begrenzte Quantifizierung, rekursive Typen, Arten und Typoperatoren. In erweiterten Fallstudien wird eine Vielzahl von Ansätzen zur Modellierung der Eigenschaften objektorientierter Sprachen entwickelt.
| ISBN: | 9780262162098 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2002 |
| Seitenzahl: | 648 |
Derzeit verfügbar, auf Lager.
