Edwin Brady

Broschiertes Buch

Type-Driven Development with Idris

Beschreibung

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.

Autor

Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.

Produktdetails

• Verlag: Manning Publications
• Seitenzahl: 480
• Erscheinungstermin: 7. April 2017
• Englisch
• Abmessung: 233mm x 187mm x 30mm
• Gewicht: 806g
• ISBN-13: 9781617293023
• ISBN-10: 1617293024
• Artikelnr.: 45063513