Type-Driven Development with Idris - Brady, Edwin
52,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 2-4 Wochen
  • Broschiertes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.