This is a new book I’m working on. It’s a direct continuation of my first book, Functional Design and Architecture.
You can buy early access to this book on LeanPub
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.
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 on application complexity and project risks.
The book will be approachable for mere people like me who are not familiar with type-level magic, 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 in 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.
Acknowledgments
I’m very thankful to all my Patreon supporters for helping me know that my work is needed:
- Patryk Zieliński
- rohit
- Anatolii Prylutskyi
- Gabriele Lana
- Christopher Miller
- Cezar Halmagean
- Matt Braun
- John Man
- Dmitry Podoprosvetov
- Vadim Sotnikov
- Vladimir Krivopalov
- Francesco Zanini
- James Bartholomew
- Alex Vakhitov
- Jacob Baumbach
- Omar Mefire
- Veronika Romashkina
- Simon Shine
- Ignacio Ballesteros
- Andor Penzes
- Michele Riva
- Juan Ortega
- Andrew Broman
- Angel Vanegas
- Kayvan Kazeminejad
- Pavel Kucera
- Jonathan Thaler
- Forest Walk
- Dmitriy Zakomirnyi
- James
- Grzegorz Milka
- Ilia Rodionov
- Mat
- Max Moiseev
- Alexey Lebedeff
- Jorge Vasquez
Inside a Black Hole 