If you can't find the book you're looking for, order it.
Order book
Full Access Accounts / Unlimited Downloads
Enjoy Now!
|

Programming with Types

Description

1st Edition 

by Vlad Riscutia (Author) 

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.

Details

Year:
2020
Pages:
338
Language:
English
Format:
PDF
Size:
5.5 MB
ISBN-10:
1617296414
ISBN-13:
978-1617296413
Send us a WhatsApp message