Skip to Main Content

Programming with Types

Examples in TypeScript

Published by Manning
Distributed by Simon & Schuster

About The Book

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.

About The Author

Vlad Riscutia is a software architect at Microsoft.

Product Details

  • Publisher: Manning (October 31, 2019)
  • Length: 336 pages
  • ISBN13: 9781638350262

Browse Related Books

Resources and Downloads

High Resolution Images

More books from this author: Vlad Riscutia