nKEY FEATURESnnn- Written by the creator of Idrisnnnn- Improve performance and accuracy of programsnnnn- Teaches Idris, a new type-driven development languagennnn- Hands-on code examplesnnnn- Build real-world softwarennnn nnnAUDIENCEnnWritten for programmer.

Bestandsnummer des Verk�ufers 150414667

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Type-driven Development with Idris
Verlag: KNV Besorgung
Erscheinungsjahr: 2019
Sprache: Englisch
ISBN-10: 1617293024
ISBN-13: 9781617293023
Einband: Buch
Zustand: New

�ber diesen Titel

Inhaltsangabe

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 software

AUDIENCE

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.

�ber die Autorin bzw. den Autor

Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Online Handel nur mit Neub�chern

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Moluna GmbH
Engberdingdamm 27, Greven, 48268, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen und Kundeninformationen/Datenschutzerkl�rung

I. Allgemeine Gesch�ftsbedingungen

� 1 Grundlegende Bestimmungen

(1) Die nachstehenden Gesch�ftsbedingungen gelten f�r Vertr�ge, die Sie mit uns als Anbieter (Moluna GmbH) �ber die Internetplattformen AbeBooks schlie�en. Soweit nicht anders vereinbart, wird der Einbeziehung gegebenenfalls von Ihnen verwendeter eigener Bedingungen widersprochen.

(2) Verbraucher im Sinne der nachstehenden Regelungen ist jede nat�rliche Pe...

Mehr Information

Widerrufsrecht

Wenn Sie Verbraucher sind, k�nnen Sie gem�� den folgenden Bestimmungen vom Vertrag zur�cktreten. Verbraucher ist jede nat�rliche Person, die zu Zwecken handelt, die nicht ihrer kaufm�nnischen, gewerblichen, k�nstlerischen oder beruflichen T�tigkeit zugerechnet werden k�nnen.

Informationen zum Widerrufsrecht

Gesetzliches Widerrufsrecht

Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gr�nden zu widerrufen.

Die Widerrufsfrist betr�gt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.

Um das Widerrufsrecht auszu�ben, f�llen Sie auf unserer Website unter „Meine Eink�ufe" in „Mein Nutzerkonto" eine eindeutige Erkl�rung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverz�glich eine Best�tigung �ber den Eingang eines solchen Widerrufs auf einem dauerhaften Datentr�ger (z. B. per E-Mail) �bermitteln.

Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung �ber die Aus�bung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.

Auswirkungen des Widerrufs

Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschlie�lich der Lieferkosten (mit Ausnahme der zus�tzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene g�nstigste Standardlieferung gew�hlt haben).

Wir k�nnen einen Abzug von der R�ckerstattung f�r den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unn�tige Behandlung durch Sie zur�ckzuf�hren ist.

Wir werden die R�ckerstattung unverz�glich und nicht sp�ter als 14 Tage nach dem Tag vornehmen, an dem wir �ber Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.

F�r die R�ckerstattung verwenden wir dasselbe Zahlungsmittel, das Sie f�r die urspr�ngliche Transaktion verwendet haben, es sei denn, Sie haben ausdr�cklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen R�ckerstattung Geb�hren berechnet.

Wir k�nnen die R�ckzahlung verweigern, bis wir die Waren wieder zur�ckerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zur�ckgesandt haben, je nachdem, was eher eintritt.

Sie m�ssen die Waren unverz�glich und in jedem Fall sp�testens 14 Tage ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an moluna, Greven, Germany, zur�cksenden oder �bergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zur�cksenden. Sie m�ssen die direkten Kosten der R�cksendung der Waren tragen. Sie haften nur f�r einen etwaigen Wertverlust der Waren, der auf eine Behandlung zur�ckzuf�hren ist, die nicht zur Pr�fung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.

Ausnahmen vom Widerrufsrecht

Das Widerrufsrecht gilt nicht f�r:

Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementvertr�gen; und
Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen k�nnen und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen k�nnen.

Versandbedingungen

II. Kundeninformationen

Identit�t des Verk�ufers

Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de

Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.

Informationen zum Zustandekommen des Vertrages

Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturm�glichkeiten erfolgen nach Ma�gabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Gesch�ftsbedingungen (Teil I.).

Vertragssprache, Vertragstextspeicherung

3.1. Vertragssprache ist deutsch .

3.2. Der vollst�ndige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung k�nnen die Vertragsdaten �ber die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzvertr�gen und die Allgemeinen Gesch�ftsbedingungen nochmals per E-Mail an Sie �bersandt.

Wesentliche Merkmale der Ware oder Dienstleistung

Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.

Preise und Zahlungsmodalit�ten

5.1. Die in den jeweiligen Angeboten angef�hrten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschlie�lich aller anfallenden Steuern.

5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind �ber eine entsprechend bezeichnete Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zus�tzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.

5.3. Die Ihnen zur Verf�gung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot ausgewiesen.

5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsanspr�che aus dem geschlossenen Vertrag sofort zur Zahlung f�llig.

Lieferbedingungen

6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschr�nkungen finden sich unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot.

Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfl�che keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).

6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zuf�lligen Untergangs und der zuf�lligen Verschlechterung der verkauften Sache w�hrend der Versendung erst mit der �bergabe der Ware an Sie �bergeht, unabh�ngig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenst�ndig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausf�hrung der Versendung bestimmte Person beauftragt haben.

Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.

Gesetzliches M�ngelhaftungsrecht

Die M�ngelhaftung richtet sich nach der Regelung "Gew�hrleistung" in unseren Allgemeinen Gesch�ftsbedingungen (Teil I).

letzte Aktualisierung: 23.10.2019

Versandkosten von Deutschland nach USA

Versandkosten von Deutschland nach USA
Bestellmenge	13 bis 40�Werktage	13 bis 40�Werktage
Erster Artikel	EUR 48.99	EUR 48.99

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.

Impressum & Info zum Verk�ufer