Order History
Premium Membership & Rewards
Help Center / FAQ
Type-Driven Development with Idris
By Edwin Brady
Paperback
$49.99
By Edwin Brady
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Select a store to view item availability.
Summary
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
About the Technology
Stop fighting type errors! Type-driven development is an approach to codin...
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
About the Technology
Stop fighting type errors! Type-driven development is an approach to codin...
You May Also Like
CompTIA Security+ Study Guide with over 500 Practice Test Questions: Exam SY0-701
Sybex Study Guide
Paperback
$55.00
