[{"_1":2,"_42":-5,"_43":-5},"loaderData",{"_3":4,"_10":11,"_40":-5,"_41":-5},"root",{"_5":-5,"_6":-5,"_7":-5,"_8":9},"user","shoppingCartId","toast","locale","en","routes/_store+/_readers+/email_author.$slug/route",{"_12":13,"_39":-5},"book",{"_14":15,"_16":17,"_18":19,"_20":21,"_22":23,"_24":25},"id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvNDgxNTI","title","Pragmatic Type-Level Design","state","published","contactAuthorMethod","email","aboutText","

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 a Rosetta Stone part with the same ideas translated to Scala 3 and Rust.

The book is published in Russian with DMK-Press (hardcover + digital): Проектирование на уровне типов. Системный взгляд на дизайн и архитектуру

The book is approachable to mere developers like me. 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.

GitHub repo: Pragmatic-Type-Level-Design

","authors",[26],{"_14":27,"_28":29,"_5":30},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci81MDk1OQ","name","Alexander Granin",{"_31":32},"avatar",{"_33":34,"_35":36,"_37":38},"url","https://d308did4coypzi.cloudfront.net/avatars/1991320/medium/Alexander_Granin_C___Russia_Speaker_copy.jpg?1602521451","styleName","medium","exists",true,"currentUser","routes/_store+/_layout","routes/_store+/_readers+/_layout","actionData","errors"]

Email the author