Email the Author
You can use this page to email Alexander Granin about Pragmatic Type-Level Design.
About the Book
Pragmatic Type-Level Design is a book about programming in types, about the discipline of Software Design, lifted onto the level of types, and type-level approaches useful in real practice.
This is my second fundamental book about Software Design, in addition to Functional Design and Architecture.
I aim to provide a well-written and well-structured source of knowledge about type-level design. I’m not only talking about type-level features but also providing a reasoning framework for making the narrative complete and comprehensive. The central philosophy of this book - pragmatism - is used to build a practice-first methodology on how to approach types and not drown in the related complexity. The type-level design is difficult on its own, type-level features in various languages are difficult as well, and there is no need to raise the learning bar even more.
The book will be useful for developers who want to start doing real things on the type level.
If you liked my FDaA book, you’ll find PTLD enlightening and insightful as well.
Book completion estimation: end of 2025
Book topics:
type-level design
type-level eDSLs
correctness
complexity of solutions
Inversion of Control and Dependency Injection
domain modeling
type-level functional interfaces
design of business logic
interaction with impure subsystems
application architectures & design patterns
testing
GitHub repo: Pragmatic-Type-Level-Design
About the Author
International speaker, researcher, author
Expert Haskell and C++ developer
Software architect, team lead
Haskell consultant
Author of the book "Functional Design and Architecture"