Programming with Types MEAP V05 cover

Thank you for purchasing the MEAP edition of Programming with Types!

I started writing this book in an attempt to bridge the gap between the more mathematical, academic treatments of type systems and the day-to-day practical applications of types. Types are important, and there’s a clear trend towards better type systems. Haskell is gaining in popularity, TypeScript was invented to provide static typing to JavaScript, Python introduced type hints into the language, Rust has its borrow checker, and so on.

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.



Unfortunatly, we weren't able to load your books.

Unable to load book!

The book could not be loaded.

(try again in a couple of minutes) homepage