Type-Driven Development with Idris
Edwin Brady
Verkauft von preigu, Osnabrück, Deutschland
AbeBooks-Verkäufer seit 5. August 2024
Neu - Softcover
Zustand: Neu
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von preigu, Osnabrück, Deutschland
AbeBooks-Verkäufer seit 5. August 2024
Zustand: Neu
Anzahl: 1 verfügbar
In den Warenkorb legenType-Driven Development with Idris | Edwin Brady | Taschenbuch | Kartoniert / Broschiert | Englisch | 2019 | Manning Publications | EAN 9781617293023 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Bestandsnummer des Verkäufers 121009064
DESCRIPTION
Types are often seen as a tool for checking errors, with the
programmer writing a complete program first and using the type
checker to detect errors. And while tests are used to show presence of
errors, they can only find errors that you explicitly test for. In typedriven
development, types become your tools for constructing
programs and, used appropriately, can show the absence of errors. And
you can express precise relationships between data, your assumptions
are explicit and checkable, and you can precisely state and verify
properties. Type-driven development lets users write extensible code,
create simple specifications very early in development, and easily
create mock implementation for testing.
Type-Driven Development with Idris, written by the creator of Idris,
teaches programmers how to improve the performance and accuracy of
programs by taking advantage of a state-of-the-art type system. This
book teaches readers using Idris, a language designed from the very
beginning to support type-driven development. Readers learn how to
manipulate types just like any other construct (numbers, strings, lists,
etc.). This book teaches how to use type-driven development to build
real-world software, as well as how to handle side-effects, state and
concurrency, and interoperating with existing systems. By the end of
this book, readers will be able to develop robust and verified software
in Idris and apply type-driven development methods to programming
in other languages.
KEY FEATURES
• Written by the creator of Idris • Improve performance and accuracy of programs • Teaches Idris, a new type-driven development language • Hands-on code examples • Build real-world softwareAUDIENCE
Written for programmers with knowledge of basic functional programming
concepts.
ABOUT THE TECHNOLOGY
Type-driven development lets you write extensible code, create simple
specifications very early in development, and easily create mock
implementation for testing. In type-driven development, types become your
tools for constructing programs and, used appropriately, can show the
absence of errors.
He is a Lecturer in Computer Science and regularly speaks at conferences.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Allgemeine Geschäftsbedingungen und Kundeninformationen, Batterieentsorgung
I. Allgemeine Geschäftsbedingungen
§ 1 Grundlegende Bestimmungen
(1) Die nachstehenden Geschäftsbedingungen gelten für Verträge, die Sie mit uns als Anbieter (preigu GmbH & Co. KG) über die Internetplattformen AbeBooks und/oder ZVAB schließen. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingungen widersprochen.
(2) Verbraucher im Sinne der nachstehenden Regelungen ...
Widerrufsbelehrung/ Muster-Widerrufsformular
Widerrufsrecht für Verbraucher
(Verbraucher ist jede natürliche Person, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbstständigen beruflichen Tätigkeit zugerechnet werden können.)
Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen 14 Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag,
an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die Waren in Besitz genommen haben bzw. hat, sofern Sie eine oder mehrere Waren im Rahmen einer einheitlichen Bestellung bestellt haben und diese einheitlich geliefert wird bzw. werden;
an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Ware in Besitz genommen haben bzw. hat, sofern Sie mehrere Waren im Rahmen einer einheitlichen Bestellung bestellt haben und diese getrennt geliefert werden;
an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Teilsendung oder das letzte Stück in Besitz genommen haben bzw. hat, sofern Sie eine Ware bestellt haben, die in mehreren Teilsendungen oder Stücken geliefert wird;
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns (preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, Telefonnr.: +49 (0) 541 / 580 72 84, E-Mail-Adresse: mail@preigu.de) mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief oder eine E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.
Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen 14 Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.
Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen 14 Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von 14 Tagen absenden.
Sie tragen die unmittelbaren Kosten der Rücksendung der Waren.
Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Ausschluss- bzw. Erlöschensgründe
Das Widerrufsrecht besteht nicht bei Verträgen
Das Widerrufsrecht erlischt vorzeitig bei Verträgen
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)
An preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, E-Mail-Adresse: mail@preigu.de :
Hiermit widerrufe(n) ich/ wir () den von mir/ uns () abgeschlossenen Vertrag über den Kauf der folgenden Waren ()/
die Erbringung der folgenden Dienstleistung ()
Bestellt am ()/ erhalten am ()
Name des/ der Verbraucher(s)
Anschrift des/ der Verbraucher(s)
Unterschrift des/ der Verbraucher(s) (nur bei Mitteilung auf Papier)
Datum
(*) Unzutreffendes streichen.
| Bestellmenge | 60 bis 60 Werktage | 60 bis 60 Werktage |
|---|---|---|
| Erster Artikel | EUR 70.00 | EUR 70.00 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.