Show HN: Crafting Interpreters – A handbook for making programming languages

Re:Show HN: Crafting Interpreters – A handbook for making pr... by johnbender on Sunday January 15, 2017 @06:09PM (#13406984)

> 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.

[ Parent | on HN ]

Re:Show HN: Crafting Interpreters – A handbook for making pr... by jnbiche on Sunday January 15, 2017 @06:15PM (#13407021)

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.

[ Parent | on HN ]

Re:Show HN: Crafting Interpreters – A handbook for making pr... by bbcbasic on Monday January 16, 2017 @02:25AM (#13408627)

I'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.

[ Parent | on HN ]