{"product_id":"type-driven-development-with-idris-9781617293023","title":"Type-Driven Development with Idris","description":"\u003cp\u003e • Author(s): Edwin Brady\u003cbr\u003e • Publisher: Manning Publications\u003cbr\u003e • Publisher Imprint: Manning Publications\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Systems Analysis \u0026amp; Desi\u003c\/p\u003e\u003cp\u003e\u003cb\u003eSummary\u003c\/b\u003e \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003ci\u003eType-Driven Development with Idris\u003c\/i\u003e, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development. \u003cp\u003e\u003c\/p\u003ePurchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. \u003cp\u003e\u003c\/p\u003e\u003cb\u003eAbout the Technology\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003eStop fighting type errors! Type-driven development is an approach to coding that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase. \u003cp\u003e\u003c\/p\u003e\u003cb\u003eAbout the Book\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003e\u003ci\u003eType-Driven Development with Idris \u003c\/i\u003eteaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages. \u003cp\u003e\u003c\/p\u003e\u003cb\u003eWhat's Inside\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eUnderstanding dependent types\u003c\/li\u003e\n\u003cli\u003eTypes as first-class language constructs\u003c\/li\u003e\n\u003cli\u003eTypes as a guide to program construction\u003c\/li\u003e\n\u003cli\u003eExpressing relationships between data\u003c\/li\u003e\n\u003c\/ul\u003e\u003cbr\u003e\u003cb\u003eAbout the Reader\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003eWritten for programmers with knowledge of functional programming concepts. \u003cp\u003e\u003c\/p\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003e\u003cb\u003eEdwin Brady\u003c\/b\u003e leads the design and implementation of the Idris language. \u003cp\u003e\u003c\/p\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e \u003cp\u003e\u003c\/p\u003e\u003col\u003ePART 1 - INTRODUCTION\u003cli\u003eOverview\u003c\/li\u003e\n\u003cli\u003eGetting started with IdrisPART 2 - CORE IDRIS\u003c\/li\u003e\n\u003cli\u003eInteractive development with types\u003c\/li\u003e\n\u003cli\u003eUser-defined data types\u003c\/li\u003e\n\u003cli\u003eInteractive programs: input and output processing\u003c\/li\u003e\n\u003cli\u003eProgramming with first-class types\u003c\/li\u003e\n\u003cli\u003eInterfaces: using constrained generic types\u003c\/li\u003e\n\u003cli\u003eEquality: expressing relationships between data\u003c\/li\u003e\n\u003cli\u003ePredicates: expressing assumptions and contracts in types\u003c\/li\u003e\n\u003cli\u003eViews: extending pattern matching\u003c\/li\u003ePART 3 - IDRIS AND THE REAL WORLD\u003cli\u003eStreams and processes: working with infinite data\u003c\/li\u003e\n\u003cli\u003eWriting programs with state\u003c\/li\u003e\n\u003cli\u003eState machines: verifying protocols in types\u003c\/li\u003e\n\u003cli\u003eDependent state machines: handling feedback and errors\u003c\/li\u003e\n\u003cli\u003eType-safe concurrent programming\u003c\/li\u003e\n\u003c\/ol\u003e","brand":"Manning Publications","offers":[{"title":"Paperback","offer_id":45032368373911,"sku":"9781617293023","price":4518.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781617293023.webp?v=1768604622","url":"https:\/\/atlanticbooks.com\/products\/type-driven-development-with-idris-9781617293023","provider":"Atlantic Books","version":"1.0","type":"link"}