Type-Driven Development with Idris - Edwin Brady
-25% koodilla BOOKS
Toimitus 22-28 arkipäivässä
30 päivän palautusoikeus
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 softwareAUDIENCEWritten for programmers with knowledge of basic functional programmingconcepts.
Saatat myös pitää
Kuvaus
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 softwareAUDIENCE
Written for programmers with knowledge of basic functional programming
concepts.
Lisätietoja
| Kirjoittaja | Edwin Brady |
|---|---|
| Julkaisija | Manning Publications |
| Julkaisuvuosi | 2017 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9781617293023 |