Show HN: Crafting Interpreters – A handbook for making programming languages
Another great-looking book on making <i>dynamic</i> languages.  There's been some good ones recently, and this one looks like another good one covering how to make a basic, interpreted language.<p>Some of us have written 1 or 2 dynamic, interpreted languages, feel pretty comfortable with those concepts, and are interested in transiting to more advanced, static type systems and writing a good type checker.<p>Anyone up for writing such a high-quality book as this one on statically-typed languages, ideally functional languages?  The only decent books I've found on the subject are 20-30 year-old textbooks.  I'm watching "Write You a Haskell"  with interest (and have partially read it), even though I'm more into ML and Scala than Haskell, but it's still pretty unfinished.<p>There's also the plzoo, which is a great resource but not a book.<p>Oh, and I definitely need to read Pierce's Types and Programming Languages textbook, I've ordered it and need to sit down with it. I suspect it will be very enlightening.<p>But a more approachable book on statically-typed languages in the same genre as this one is (popular, less academic) would also be welcome.