Practical introduction into Haskell types: design principles, design patterns, methodologies, approaches

2023半ばに完成予定らしい

Alexander Granin著

Book topics:

type-level design

type-level eDSLs

complexity of solutions

type-level Haskell features

Inversion of Control and Dependency Injection

domain modeling

type-level functional interfaces

design of business logic

interaction with impure subsystems

testing

GitHub repo: Pragmatic-Type-Level-Design