Book

Type-driven development with Idris

Brady, Edwin, author

2017

Overview

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. This book, 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.

• Publisher: Manning
• Subject: Idris (Computer program language) / Functional programming (Computer science) / Computer programming.
• ISBN: 9781617293023, 1617293024

Item info:

1 item available

1 item total in all locations

Holdings :

Call Number	Copies	Material	Location
QA76.62.B7 2017	1	BOOK	AUTOSTORE