Type-Driven Development with Idris

Name: Type-Driven Development with Idris
Brand: Manning Publications
SKU: 9781617293023-G
Price: 2.49 EUR
Availability: OutOfStock
Rating: 5 (1 reviews)

By Edwin Brady

0 - Used - good

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.

Product details

Binding:: Paperback
Edition:: 1
Languages:: Original: English
Number of Pages:: 480
Publisher:: Manning Publications
Publication Date:: 2017-04-07
ISBN / EAN:: 9781617293023
Weight:: 825 g
Dimensions:: 19/23/3 cm
GPSR Manufacturer Reference:: [email protected]

Buy on Amazon

Currently sold out

Add to Wishlist