Bewertung:
Das Buch gilt als unverzichtbar für Forscher und Liebhaber von Programmiersprachen und bietet einzigartige Einblicke in komplexe Themen, die anderswo nicht behandelt werden.
Vorteile:⬤ Obligatorischer Text für Forscher
⬤ geschrieben von führenden Experten
⬤ deckt Themen ab, die in anderer Literatur nicht zu finden sind
⬤ essentiell für das Verständnis von abhängig typisierter Programmierung
⬤ bietet eine ausführliche Diskussion über lineare Typen und Zeilenpolymorphismus.
Potenziell begrenztes Publikum, da es für Anfänger zu technisch sein könnte; einige Themen sind Nischenthemen und sprechen möglicherweise nicht alle Programmierer an.
(basierend auf 4 Leserbewertungen)
Advanced Topics in Types and Programming Languages
Eine gründliche und leicht verständliche Einführung in eine Reihe von Schlüsselideen im Bereich der Typsysteme für Programmiersprachen.
Das Studium von Typsystemen für Programmiersprachen berührt heute viele Bereiche der Informatik, vom Sprachdesign und der Implementierung bis hin zu Software-Engineering, Netzwerksicherheit, Datenbanken und der Analyse von nebenläufigen und verteilten Systemen. Dieses Buch bietet eine leicht verständliche Einführung in die wichtigsten Ideen auf diesem Gebiet, mit Beiträgen von Experten zu jedem Thema.
Zu den behandelten Themen gehören präzise Typanalysen, die einfache Typsysteme erweitern, um ihnen einen besseren Zugriff auf das Laufzeitverhalten von Systemen zu geben; Typsysteme für Low-Level-Sprachen; Anwendungen von Typen zur Argumentation über Computerprogramme; Typentheorie als Rahmen für den Entwurf anspruchsvoller Modulsysteme; und fortgeschrittene Techniken der Typinferenz im ML-Stil.
Advanced Topics in Types and Programming Languages baut auf Benjamin Pierce's Types and Programming Languages (MIT Press, 2002) auf; die meisten Kapitel sollten Lesern zugänglich sein, die mit grundlegenden Notationen und Techniken der operativen Semantik und Typsystemen vertraut sind - dem Material, das in der ersten Hälfte des früheren Buches behandelt wurde.
Advanced Topics in Types and Programming Languages kann im Unterricht und als Hilfsmittel für Fachleute verwendet werden. Die meisten Kapitel enthalten Übungen, deren Schwierigkeitsgrad von schnellen Verständnisprüfungen bis zu anspruchsvollen Erweiterungen reicht, viele davon mit Lösungen.
| ISBN: | 9780262162289 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2004 |
| Seitenzahl: | 588 |
Derzeit verfügbar, auf Lager.
