Leserbewertungen
Zusammenfassung:Das Buch über Idris bietet eine ansprechende Einführung in die typgesteuerte Entwicklung und die Programmiersprache Idris. Die Leser finden es hilfreich für das Verständnis fortgeschrittener Typsysteme und schätzen die klaren Erklärungen. Einige Benutzer haben jedoch Probleme mit der Dokumentation und der Installation, was die Lernerfahrung behindern kann.
Vorteile:⬤ Fesselnder und zum Nachdenken anregender Inhalt, der die Perspektive auf Programmierung und Typsysteme verändert.
⬤ Gut geschriebenes Tutorial, das für das Erlernen von Idris und typgesteuerter Entwicklung nützlich ist.
⬤ Der Autor ist der Schöpfer von Idris und bietet eine Insider-Perspektive.
⬤ Betont die Wichtigkeit von starker Typisierung und Sicherheit in der Programmierung.
⬤ Klare Darstellung komplexer Konzepte, die auch Lesern mit Erfahrung in funktionaler Programmierung zugänglich sind.
⬤ Fehlen einer umfassenden Installationsanleitung und Dokumentation, was zu Schwierigkeiten für neue Benutzer führt.
⬤ Einige Leser finden die Sprache ungewöhnlich und könnten durch die geringe Nachfrage auf dem Arbeitsmarkt entmutigt werden.
⬤ Aufgrund der behandelten fortgeschrittenen Themen ist es möglicherweise nicht für absolute Anfänger geeignet.
⬤ Potenzielle Probleme hinsichtlich der Produktionstauglichkeit, wobei die Benutzer davor gewarnt werden, die Sprache in laufenden Projekten zu verwenden.
(basierend auf 11 Leserbewertungen)
Originaltitel:
Type-Driven Development with Idris
Inhalt des Buches:
Zusammenfassung
Type-Driven Development with Idris, geschrieben vom Schöpfer von Idris, lehrt Sie, wie Sie die Leistung und Genauigkeit Ihrer Programme verbessern können, indem Sie die Vorteile eines hochmodernen Typsystems nutzen. Dieses Buch bringt Ihnen Idris bei, eine Sprache, die zur Unterstützung der typgesteuerten Entwicklung entwickelt wurde.
Der Kauf des gedruckten Buches beinhaltet ein kostenloses eBook im PDF-, Kindle- und ePub-Format von Manning Publications.
Über die Technologie
Die typgesteuerte Entwicklung ist ein Ansatz für die Programmierung, bei dem Typen die Grundlage Ihres Codes bilden - im Wesentlichen als integrierte Dokumentation, die Ihr Compiler zur Überprüfung von Datenbeziehungen und anderen Annahmen verwenden kann. Mit diesem Ansatz können Sie bereits in einem frühen Stadium der Entwicklung Spezifikationen festlegen und Code schreiben, der einfach zu warten, zu testen und zu erweitern ist. Idris ist eine Haskell-ähnliche Sprache mit erstklassigen, abhängigen Typen, die sich perfekt zum Erlernen typgesteuerter Programmiertechniken eignet, die Sie in jeder Codebasis anwenden können.
Über das Buch
Type-Driven Development with Idris zeigt Ihnen, wie Sie die Leistung und Genauigkeit Ihres Codes verbessern können, indem Sie die Vorteile eines hochmodernen Typsystems nutzen. In diesem Buch lernen Sie die typgesteuerte Entwicklung von realer Software sowie den Umgang mit Seiteneffekten, Interaktion, Zustand und Nebenläufigkeit. Am Ende werden Sie in der Lage sein, robuste und verifizierte Software in Idris zu entwickeln und typgesteuerte Entwicklungsmethoden auf andere Sprachen anzuwenden.
Was ist drin?
⬤ Verständnis abhängiger Typen.
⬤ Typen als erstklassige Sprachkonstrukte.
⬤ Typen als Leitfaden für die Programmkonstruktion.
⬤ Beziehungen zwischen Daten ausdrücken.
Über den Leser
Geschrieben für Programmierer mit Kenntnissen über funktionale Programmierkonzepte.
Über den Autor
Edwin Brady leitet den Entwurf und die Implementierung der Idris-Sprache.
Inhaltsverzeichnis
TEIL 1 - EINFÜHRUNG.
⬤ Übersicht.
⬤ Einstieg in IdrisPART 2 - CORE IDRIS.
⬤ Interaktive Entwicklung mit Typen.
⬤ Benutzerdefinierte Datentypen.
⬤ Interaktive Programme: Eingabe- und Ausgabeverarbeitung.
⬤ Programmierung mit erstklassigen Typen.
⬤ Schnittstellen: Verwendung eingeschränkter generischer Typen.
⬤ Gleichheit: Beziehungen zwischen Daten ausdrücken.
⬤ Prädikate: Ausdrücken von Annahmen und Verträgen in Typen.
⬤ Ansichten: Erweiterung des Musterabgleichs.
TEIL 3 - IDRIS UND DIE REALE WELT.
⬤ Streams und Prozesse: Arbeiten mit unendlichen Daten.
⬤ Schreiben von Programmen mit Zuständen.
⬤ Zustandsautomaten: Verifizierung von Protokollen in Typen.
⬤ Abhängige Zustandsautomaten: Umgang mit Rückmeldungen und Fehlern.
⬤ Typsichere nebenläufige Programmierung.
Weitere Daten des Buches:
| ISBN: | 9781617293023 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 480 |
Kauf:
Derzeit verfügbar, auf Lager.
