I'd pay good money for such a book, if it was well-written.
Stephen Diehl was on the way to writing such a book, but he stopped before he got to type checking and pattern matching, which are exactly what I've tended to struggle with. I can write a lisp or other dynamically-typed lambda calculus-based language with ease. The hard part is the type checker and (to a lesser extent) Hindley-Milner. I've managed to figure out Hindley-Milner but am stuck on how to write the pattern matcher and certain aspects of the type checker.
There are also one or two dense academic books from the 1970s that I found hard to follow. The one that's helped me get the furthest is Pierce's Types and Programming Languages, which is dense and academic but also well-written and with good examples. But I'd really love such a book written in a similar style to this "Compiler Book", "Writing an Interpreter in Go", etc.
Also, a general complaint about recent compiler/interpreter books: Most of these books go deep into parsing (the easiest part) and ASTs, but then they spend relatively little time on codegen and type checking, which are far more difficult.
https://www.microsoft.com/en-us/research/publication/the-imp...
It has two chapters on pattern matching, two chapters on type checking, and several chapters related to execution.
I have not read it.
A statically-typed functional language with pattern matching, closures, tail-call elimination, etc. would be even better, but there's a huge dearth of practical books on creating even basic statically-typed languages and type checkers. Meanwhile, we get a new book on interpreters for some dynamically-typed language every week. I think we have enough of those, unless you're just writing it for your own edification!
The connection to the server was reset while the page was loading.
The page you are trying to view cannot be shown because the authenticity of the received data could not be verified.
Please contact the website owners to inform them of this problem.I'm currently reading "Compiler Design in C" by Allen I. Holub, https://holub.com/compiler/, and so far I like it.
But to use Go in place of C would be a nice alternative as well!
I can't wait to read the new book.
Looking forward to the compiler one!
