Type-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.
Programming with Types 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!
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
Get a FREE ebook by joining our mailing list today!
Get our latest book recommendations, author news, competitions, offers, and other information right to your inbox.
By clicking 'Sign me up' I confirm that I'd like to receive updates, special offers, including partner offers, and other information from Simon & Schuster Inc. and the Simon & Schuster family of companies. I understand I can change my preference through my account settings or unsubscribe directly from any marketing communications at any time. We will send you an email with instructions on how to redeem your free ebook, and associated terms.
More books from this author: Vlad Riscutia
Thank you for signing up, fellow book lover!
Tell us what you like and we'll recommend books you'll love.