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!
This is by far one of the most extensive and well written books I've personally read on Types.
all chapters available
placing your order...Don't refresh or navigate away from the page.
I actually wish I did study Computer Science in Uni having this book available, I am sure my younger self would have appreciated it more than the abstruse material I had available back then.
This book will be a boost to your career teaching design patterns, best practices, and avoiding those late nights with hard to debug broken code!
A must-read to take your programming skills to the next level!
Offers the reader a practical approach to demystifying the hidden nuances of programming with a Type System.
If you think you know about types in programming languages, think again.