This is the post about what books we could have if we were a bit more conscious of that.
5 Likes
Never Be Back: Domain-Specific Languages In Haskell
There is an academic (text)book for that: “Software Languages”, maybe someone could make a more applied/industrial version.
The Correct Software. A Haskeller’s Perspective
For correctness I like the book “Program Design by Calculation”, although again it is mostly academic.
2 Likes