Pragmatic Type Level Design (book)

This is a new book I’m working on. It’s a direct continuation of my first book, Functional Design and Architecture.

Pragmatic type level design is a book about practical ideas expressed with the help of the rich type system of Haskell. In contrast with all other materials about types in Haskell, the main focus of this book is not the type system itself, and not the related math. The main focus is the applicability of those concepts in the real world: best practices, use cases, design patterns, approaches, and principles, advantages and disadvantages of different solutions.

Support this book on Patreon!

Book concept and Table of Contents (draft)

By reading this book, you’ll learn how to create more robust and more correct applications, and you’ll be understanding the impact of type level concepts to the application complexity and project risks.

The book will be approachable for mere people like me who are not familiar with type level magic, with Category Theory or any kind of Type Theory. Additional materials such as showcase projects, talks, educational videos and articles will accompany the book to make it even more understandable.

The book will be enjoyable for reading. I have a very high skill of technical and fiction writing, and I have a lot of experience in this field.

I have 3 main goals:

  • To demystify this knowledge, and to show that Haskell can be really useful in the real world
  • To create several libraries and showcase projects usable in practice
  • To create an accessible, clear and comprehensive material about Software Design in Haskell and in Functional Programming in general.