{"product_id":"9781617296413","title":"Programming with Types","description":"\u003cstrong\u003eProgramming with Types\u003c\/strong\u003e\u003cbr\u003e\u003cb\u003eAuthor(s): Vlad Riscutia\u003c\/b\u003e\u003cbr\u003e\u003cbr\u003eType-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors. \u003cbr\u003e\u003cbr\u003e\u003ci\u003eProgramming with Types\u003c\/i\u003e teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe!\u003cbr\u003e\u003cbr\u003ePurchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.\u003cbr\u003e\u003cbr\u003eReview(s):\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cbr\u003eISBN:  9781617296413\u003cbr\u003e\u003cbr\u003e ","brand":"Manning Publications","offers":[{"title":"Paperback \/ softback","offer_id":40590333771982,"sku":"9781617296413","price":49.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0600\/7029\/7806\/products\/O_9e641f80-a1c7-44ad-950d-d6edf77dff06.jpg?v=1637735750","url":"https:\/\/pickwickbookshop.com\/products\/9781617296413","provider":"Pickwick Bookshop","version":"1.0","type":"link"}