Type-Driven Development with Idris |
|
| Author:
| Brady, Edwin |
| ISBN: | 978-1-61729-302-3 |
| Publication Date: | Apr 2017 |
| Publisher: | Manning Publications Co. LLC
|
| Book Format: | Paperback |
| List Price: | USD $49.99USD $49.99 |
Book Description:
|
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.
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.