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 practica.
Manning Publications Programming with types, paperback/vlad riscutia
