A Type of Programming (Hardcover) (ISBN-13: 9798999909701)

A book for the old, the new, and the undiscovered programmer. A journey driven by reason, beauty, playful mastery and a thirst for meaning. We start from the very beginning, and as we get comfortable with the Haskell programming language, we learn about functional programming, categories and types.

A book unlike other programming books. It's more of an adventure, really. A call to raise the quality of the software we produce and demand as individuals and as a civilization. If you think that's a worthy goal, if you are here to excel, then this book is for you.