52,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
payback
26 °P sammeln
  • 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.

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.
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.