Prenez-en trois et n'en payez que deux avec le coupon TRIPLE
Type-driven Development with Idris
3,9
ISBN | 9781617293023
Tecnología
Type-driven Development with Idris
3,9
ISBN | 9781617293023
Tecnología
Offres disponibles par état
* Tous nos produits sont soigneusement vérifiés pour favoriser une culture durable.
Détails du produit
Pages: 480 pages
Auteur: Edwin Brady
Éditeur: Éditeur à confirmer
ISBN: 9781617293023
Format: Broché
Langue:
Date de publication: 31/3/2017
ISBN: 9781617293023
Synopsis de Type-driven Development with Idris
Aprende a utilizar Idris para el desarrollo de software basado en tipos. Este libro te guiará a través de los conceptos y técnicas necesarios para aprovechar al máximo este lenguaje de programación funcional, permitiéndote crear aplicaciones más robustas y confiables. Descubre cómo los tipos pueden dirigir el proceso de desarrollo y mejorar la calidad de tu código.
Plus de titres pour les fans de Edwin Brady
Recommandé par Julia
