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 groundbreaking exploration of type-level programming. Unlike other books flirting with a type system and mathematics, this book emphasizes practical applications: best practices, use cases, design patterns, principles, and application architectures universal to various statically typed languages, such as Scala, Rust, Haskell, C++, OCaml and F#. The model language is Haskell, but there is the Rosetta Stone part with the same ideas translated to Scala 3 and Rust.
The book is approachable to mere developers like myself. It is engaging, systematic, full of fun examples, and well-written. It is academism-free. You won’t find anything related to Category Theory, Type Theory, or Abstract Algebra in it. There is no math at all. The book proves that heavy math concepts are unnecessary to benefit from type-level programming.
With its focus on practical outcomes and real-world business needs, Pragmatic Type-Level Design is a must-read for software architects, functional programmers, and engineers who want to elevate their designs beyond the value level. This book teaches the how of type-level programming and the why, ensuring readers can make informed, rational design decisions in their projects.
Book topics:
- Type-Level Design Patterns
- Design Principles and Approaches
- Extensibility and Adaptive Application Architectures
- Type-Level Interfaces
- Type-Level Domain-Specific Languages (DSLs)
- Type Safety and Static Integrity
- Correctness and Verification at the Type Level
- Typed Forms — A Visual Language for Design
- Pragmatic Type-Level Design (PTLD) Methodology
* If the book reaches 1000 copies sold, I'll write four more chapters and add two more languages to the Rosetta Stone part.
* If the book reaches 2000 copies sold, I'll write a big book on type-level design in Rust. The readers of PTLD will get a huge discount.
Book topics:
Type-level design, type-level eDSLs, type-level interfaces, correctness, complexity of solutions, Inversion of Control, domain modeling, application architectures, actor model, 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"