{"product_id":"type-driven-development-with-idris-edwin-brady-9781617293023","title":"Type-Driven Development with Idris","description":"\u003cb\u003e\u003c\/b\u003e\u003cp\u003eDESCRIPTION\u003c\/p\u003e \u003cp\u003eTypes are often seen as a tool for checking errors, with the\u003c\/p\u003e \u003cp\u003eprogrammer writing a complete program first and using the type\u003c\/p\u003e \u003cp\u003echecker to detect errors. And while tests are used to show presence of\u003c\/p\u003e \u003cp\u003eerrors, they can only find errors that you explicitly test for. In typedriven\u003c\/p\u003e \u003cp\u003edevelopment, types become your tools for constructing\u003c\/p\u003e \u003cp\u003eprograms and, used appropriately, can show the absence of errors. And\u003c\/p\u003e \u003cp\u003eyou can express precise relationships between data, your assumptions\u003c\/p\u003e \u003cp\u003eare explicit and checkable, and you can precisely state and verify\u003c\/p\u003e \u003cp\u003eproperties. Type-driven development lets users write extensible code, \u003c\/p\u003e \u003cp\u003ecreate simple specifications very early in development, and easily\u003c\/p\u003e \u003cp\u003ecreate mock implementation for testing.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003ci\u003e\u003c\/i\u003e\u003cp\u003e\u003c\/p\u003eType-Driven Development with Idris, written by the creator of Idris, \u003cp\u003e\u003c\/p\u003e \u003cp\u003eteaches programmers how to improve the performance and accuracy of\u003c\/p\u003e \u003cp\u003eprograms by taking advantage of a state-of-the-art type system. This\u003c\/p\u003e \u003cp\u003ebook teaches readers using Idris, a language designed from the very\u003c\/p\u003e \u003cp\u003ebeginning to support type-driven development. Readers learn how to\u003c\/p\u003e \u003cp\u003emanipulate types just like any other construct (numbers, strings, lists, \u003c\/p\u003e \u003cp\u003eetc.). This book teaches how to use type-driven development to build\u003c\/p\u003e \u003cp\u003ereal-world software, as well as how to handle side-effects, state and\u003c\/p\u003e \u003cp\u003econcurrency, and interoperating with existing systems. By the end of\u003c\/p\u003e \u003cp\u003ethis book, readers will be able to develop robust and verified software\u003c\/p\u003e \u003cp\u003ein Idris and apply type-driven development methods to programming\u003c\/p\u003e \u003cp\u003ein other languages.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cb\u003e\u003c\/b\u003e\u003cp\u003eKEY FEATURES\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e- Written by the creator of Idris \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e- Improve performance and accuracy of programs \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e- Teaches Idris, a new type-driven development language \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e- Hands-on code examples \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e- Build real-world software \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cb\u003e\u003c\/b\u003e\u003cp\u003eAUDIENCE\u003c\/p\u003e \u003cp\u003eWritten for programmers with knowledge of basic functional programming\u003c\/p\u003e \u003cp\u003econcepts.\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cb\u003e\u003c\/b\u003e\u003cp\u003eABOUT THE TECHNOLOGY\u003c\/p\u003e \u003cp\u003eType-driven development lets you write extensible code, create simple\u003c\/p\u003e \u003cp\u003especifications very early in development, and easily create mock\u003c\/p\u003e \u003cp\u003eimplementation for testing. In type-driven development, types become your\u003c\/p\u003e \u003cp\u003etools for constructing programs and, used appropriately, can show the\u003c\/p\u003e \u003cp\u003eabsence of errors.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Edwin Brady\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1617293024\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781617293023\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Manning Publications\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/07\/2017\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 480\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.70lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 7.30w x 0.90d","brand":"Edwin Brady","offers":[{"title":"Paperback","offer_id":44213243019519,"sku":"9781617293023","price":49.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3a13be5e-8384-44f4-acb6-b69aeb634998.jpg?v=1692112810","url":"https:\/\/www.whiterainbookhouse.com\/products\/type-driven-development-with-idris-edwin-brady-9781617293023","provider":"WR Book House","version":"1.0","type":"link"}