Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Programming with Types, Paperback / softback Book

Programming with Types Paperback / softback

Paperback / softback

Out of stock

Description

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.

Information

Other Formats

Save 6%

£39.99

£37.59

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information