Type-driven Development with Idris
- Format: Pocket
- Antall sider: 480
- Språk: Engelsk
- Forlag/Utgiver: SD Books
- EAN: 9781617293023
- Utgivelsesår: 2017
- Bidragsyter: Brady, Edwin
DESCRIPTION
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 typedriven
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 a