EUR 37,02
  • Tous les prix incluent la TVA.
Il ne reste plus que 2 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon. Emballage cadeau disponible.
Type-driven Development w... a été ajouté à votre Panier
Autres vendeurs sur Amazon
Ajouter au panier
EUR 36,96
+ EUR 0,01 (livraison)
Vendu par : Book Depository FR
Ajouter au panier
EUR 34,02
+ EUR 2,99 (livraison)
Vendu par : Smaller World Future FR
Ajouter au panier
EUR 34,03
+ EUR 2,99 (livraison)
Vendu par : RAREWAVES-FR
Vous l'avez déjà ? Vendez sur Amazon
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir les 2 images

Type-driven Development with Idris (Anglais) Broché – 3 mai 2017


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Broché
EUR 37,02
EUR 34,02 EUR 35,75
Note: Cet article est éligible à la livraison en points de collecte. Détails
Récupérer votre colis où vous voulez quand vous voulez.
  • Choisissez parmi 17 000 points de collecte en France
  • Les membres du programme Amazon Prime bénéficient de livraison gratuites illimitées
Comment commander vers un point de collecte ?
  1. Trouvez votre point de collecte et ajoutez-le à votre carnet d’adresses
  2. Sélectionnez cette adresse lors de votre commande
Plus d’informations
click to open popover

Offres spéciales et liens associés


Description du produit

Présentation de l'éditeur

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.

Biographie de l'auteur

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

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

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Commentaires client les plus utiles sur Amazon.com

Amazon.com: 4,4 sur 5 étoiles 6 commentaires
Deathmistro
5,0 sur 5 étoilesFive Stars
31 août 2017 - Publié sur Amazon.com
Achat vérifié
Emre Sevinç
5,0 sur 5 étoiles"I don't care how easy it is to write correct programs in a language, I care about how hard it is to write wrong ones."
5 juin 2017 - Publié sur Amazon.com
8 personnes ont trouvé cela utile.
William Ryan
5,0 sur 5 étoilesI can't express strongly enough how great this language and book are.
6 juin 2017 - Publié sur Amazon.com
Commentaire d‘un membre du Club des Testeurs( Qu'est-ce que c'est ? )
3 personnes ont trouvé cela utile.

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?