Idris Unleashed - Type-Driven Development and Theorem Proving in Functional Programming - Robert Joh

33,63 €

Livraison à partir de 5,00€

Paiement tc Accepte le Paiement tc

État du lot: Très bon (neuf ou comme neuf, aucun signe d'utilisation)

Impression à la demande: Ce livre est imprimé à la demande. Le délai de livraison dépend de l'impression, qui commence dès que l'acheteur paie la commande.

Paiement tc : payez par carte bancaire ou via Google Pay de manière rapide et sécurisée.

Description du lot

Autor: Robert Johnson

Editorial: NobleTrex Press

Año: 10/11/2024

ISBN: 9798896650270

Encuadernación: Tapa blanda

Páginas: 436 pp.

Idioma: eng

EAN: 9798896650270

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming is an authoritative guide for programmers who aspire to harness the power of Idris, a cutting-edge functional programming language known for its robust type system and theorem-proving capabilities. This book is meticulously crafted to equip both beginners and seasoned developers with the skills necessary to write precise and reliable code using Idris. It explores the fundamentals of type-driven development, delving deep into topics like dependent types, advanced type concepts, and the practical integration of theorem proving into everyday programming tasks.
Readers will benefit from hands-on exercises, illustrative examples, and case studies that demonstrate Idris?s unique features in real-world applications. Whether you are building type-safe web applications, engaging in scientific computing, or developing domain-specific languages, this book provides the knowledge and tools to innovate and excel. The future of Idris and its ecosystem is also considered, keeping readers informed about emerging trends and directions in the broader landscape of software development. This book is an essential resource for anyone interested in advancing their understanding of functional programming through the lens of type-driven development and theorem proving.
El envío se realizará en 48/72hrs.