{"product_id":"type-driven-development-with-idris","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","brand":"MediaPlace","offers":[{"title":"Default Title","offer_id":57317292179838,"sku":"NW9781617293023","price":40.34,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1379\/1261\/files\/9781617293023.jpg?v=1778721524","url":"https:\/\/mediaplace.com\/products\/type-driven-development-with-idris","provider":"MediaPlace","version":"1.0","type":"link"}