product description page

Type-Driven Development with Idris (Paperback) (Edwin Brady)

Type-Driven Development with Idris (Paperback) (Edwin Brady) - image 1 of 1
$47.49
MSRPReg: $49.99 Save $2.50 (5% off)

about this item

Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing.

Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages.

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

Number of Pages: 453.0
Genre: Computers + Internet
Format: Paperback
Publisher: Oreilly & Associates Inc
Author: Edwin Brady
Language: English
Street Date: April 7, 2017
TCIN: 52486021
UPC: 9781617293023
Item Number (DPCI): 248-46-1902

guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.