A Type of Programming is a book emphasizing sound reasoning, a playful mastery of our skills and a thirst for meaning. We start from the very beginning, and barely noticing it, as we learn Haskell, functional programming and types, we become well-versed in every topic we touch. This book, ultimately, aims to improve the ways and quality of the software we produce and demand as individuals and as civilization. If you think that's a worthy goal, if you are here to excel, then this book is for you. You can read the book at https://atypeofprogramming.com/
The Functional Programming paradigm, and particularly the Haskell language, have the reputation of being quite hard to learn. A Type of Programming makes this learning journey a pleasant one. With its short chapters, focused on a single topic at a time, getting acquainted with these (hard) concepts becomes a natural process. I highly recommend it!
I've learned how to think and reason better about the code during a smooth reading that was a real pleasure. Sometimes I thought I was reading a novel. The way the concepts are introduced and developed is simply perfect, and I had a lot of revelations and mind-blowing moments during this reading. Simply amazing. I was one of many stuck with monads, and after reading that section, I finally understood them and their implications. This is a big achievement. Thanks for this amazing work.