Thank you for purchasing the MEAP edition of Programming with Types!
This book will teach you how to leverage type systems in pragmatic ways to build safe, reusable software. By the end of it, you should have answers to questions like:
- What is a monad?
- What are algebraic data types?
- What are covariance and contravariance?
- How is generic programming useful?
The book is also meant to be accessible – it is an informal book for the practicing programmer, with plenty of code samples. If you are developing in any one of the mainstream programming languages around, like Java, C#, or C++, you should be able to apply most of the learnings in your day job.