{"title":"Edwin Brady","description":"\u003cp\u003eExplore the insightful works of Edwin Brady, delving into functional programming and type theory. His books offer a pragmatic approach to complex concepts, making them ideal for both students and seasoned developers.\u003c\/p\u003e","products":[{"product_id":"type-driven-development-with-idris-book-edwin-brady-9781617293023","title":"Type-driven Development with Idris","description":"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 advantage of a state-of-the-art type system. This   book teaches readers using Idris, a language designed from the very   beginning to support type-driven development. Readers learn how to   manipulate types just like any other construct (numbers, strings, lists,   etc.). This book teaches how to use type-driven development to build   real-world software, as well as how to handle side-effects, state and   concurrency, and interoperating with existing systems. By the end of   this book, readers will be able to develop robust and verified software   in Idris and apply type-driven development methods to programming   in other languages.       KEY FEATURES    • Written by the creator of Idris      • Improve performance and accuracy of programs      • Teaches Idris, a new type-driven development language      • Hands-on code examples      • Build real-world software           AUDIENCE   Written for programmers with knowledge of basic functional programming   concepts.       ABOUT THE TECHNOLOGY   Type-driven development lets you write extensible code, create simple   specifications very early in development, and easily create mock   implementation for testing. In type-driven development, types become your   tools for constructing programs and, used appropriately, can show the   absence of errors.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49734987481361,"sku":"NGR9781617293023","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50406940967185,"sku":"GOR008909334","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51424310362385,"sku":"CIN1617293024G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51693723222289,"sku":"CIN1617293024VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":52752117203217,"sku":"NIN9781617293023","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53449059500305,"sku":"GOR009389733","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1617293024.jpg?v=1780394635"},{"product_id":"sapo-y-sepo-son-amigos-spanish-edition-book-arnold-lobel-9780590940481","title":"Sapo y Sepo son amigos (Spanish Edition)","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50154830561553,"sku":"CIN0590940481G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51334730645777,"sku":"CIN0590940481VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0590940481.jpg?v=1751262151"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-edwin-brady.oembed","provider":"World of Books ","version":"1.0","type":"link"}