They are great in each their way, but they're niche.
Production Haskell is for people who want to take their academic Haskell and turn it commercial. There's a lot of practical advice, both coding and non-coding.
Thinking with Types is a very good introduction to type-driven , but the later chapters assume very strong type systems (type-level functions, higher-kinded types, etc.) so you may not be able to apply this kind of modelling outside of Haskell, PureScript, Idris, LEAN, etc.
The book that translates best into any environment is Granin's Functional Architecture.
I can warmly recommend that one even if you're not venturing into FP as a whole.
I can't compare it to a whole lot of other software architecture books, though.
sshine|1 year ago
Production Haskell is for people who want to take their academic Haskell and turn it commercial. There's a lot of practical advice, both coding and non-coding.
Thinking with Types is a very good introduction to type-driven , but the later chapters assume very strong type systems (type-level functions, higher-kinded types, etc.) so you may not be able to apply this kind of modelling outside of Haskell, PureScript, Idris, LEAN, etc.
The book that translates best into any environment is Granin's Functional Architecture.
I can warmly recommend that one even if you're not venturing into FP as a whole.
I can't compare it to a whole lot of other software architecture books, though.