3 ms·
Yeah, 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 popu
by jnbiche 10y ago
Yeah, 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.