> Pierce's Types and Programming Languages
Pierce's book is as approachable as you're likely to see with respect to type systems. You mostly just have to dig in.
Pierce's book is as approachable as you're likely to see with respect to type systems. You mostly just have to dig in.
But it seems to be there's a place for a more popular book on type systems and making a statically-typed language, in the vein of this Crafting Interpreters book (and others like it).
Perhaps I'll read TaPL, write a nice statically-typed language, and then write the book I'm looking for.
I think you can replace the math with intuitive diagrams and be a little less rigorous and that would be a book for the masses.
TaPL requires you to learn a lot between coding sessions too which may put off more practically minded folk.