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.