2 ms·
> 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 i
by johnbender 10y ago
> 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.
- jnbiche 10y agoYeah, I suspect you're correct at the moment. In fact, TaPL looks pretty approachable for an academic book. 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.
- bbcbasic 10y agoI'm reading TaPL, done 4 chapters. 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.