Bewertung:
Das Buch bietet eine umfassende und unterhaltsame Einführung in abhängige Typen durch ein dialogorientiertes Format mit dem Schwerpunkt auf einer Spielzeugsprache namens Pie. Während es für seinen pädagogischen Ansatz und seine Fähigkeit, die Art und Weise, wie die Leser über das Programmieren denken, zu verändern, geschätzt wird, könnte es für diejenigen, die bereits mit abhängigen Typen vertraut sind, als zu grundlegend angesehen werden. Die Leser empfehlen, sich Zeit zu nehmen, um über das Material nachzudenken, und einige empfehlen, es mehrmals zu lesen, um es vollständig zu verstehen.
Vorteile:Zugängliche und unterhaltsame Einführung, ansprechendes Dialogformat fördert das Lernen, große Detailgenauigkeit, ausgezeichnet für Anfänger, hilft, die Perspektive auf das Programmieren zu ändern, effektive pädagogische Struktur, wertvolle Einblicke in abhängige Typen.
Nachteile:Möglicherweise zu grundlegend für fortgeschrittene Benutzer, nicht geeignet für diejenigen, die eine unkomplizierte Informationsvermittlung bevorzugen, Kindle-Version hat Navigationsprobleme, erfordert einige Vorkenntnisse in funktionaler Programmierung und Scheme.
(basierend auf 21 Leserbewertungen)
The Little Typer
Eine Einführung in abhängige Typen, die Schritt für Schritt die schönsten Aspekte aufzeigt.
Der Typ eines Programms beschreibt sein Verhalten. Abhängige Typen sind ein erstklassiger Teil einer Sprache und viel leistungsfähiger als andere Arten von Typen; die Verwendung einer einzigen Sprache für Typen und Programme ermöglicht es, dass Programmbeschreibungen so leistungsfähig sind wie die Programme, die sie beschreiben. The Little Typer erklärt abhängige Typen, indem es mit einer sehr kleinen Sprache beginnt, die Scheme sehr ähnlich sieht, und sie erweitert, um sowohl die Programmierung mit abhängigen Typen als auch die Verwendung abhängiger Typen für mathematische Schlussfolgerungen abzudecken. Der Leser sollte mit den Grundlagen einer Lisp-ähnlichen Programmiersprache vertraut sein, wie sie in den ersten vier Kapiteln von The Little Schemer vorgestellt werden.
Die ersten fünf Kapitel von The Little Typer liefern die notwendigen Werkzeuge, um abhängige Typen zu verstehen; die restlichen Kapitel nutzen diese Werkzeuge, um eine Brücke zwischen Mathematik und Programmierung zu schlagen. Die Leser werden lernen, dass die Werkzeuge, die sie aus der Programmierung kennen - Paare, Listen, Funktionen und Rekursion - auch Denkmuster erfassen können. The Little Typer versucht nicht, praktische Programmierfähigkeiten oder einen vollständig rigorosen Ansatz für Typen zu vermitteln. Stattdessen werden die schönsten Aspekte so einfach wie möglich demonstriert, Schritt für Schritt.
| ISBN: | 9780262536431 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2018 |
| Seitenzahl: | 424 |
Derzeit verfügbar, auf Lager.
