[Noe2097]

Following a slightly different path, "Modern compiler implementation" goes over several topics mentioned in the review (lexing, parsing, type checking, code optimization and generation, runtime environments aspects e.g. garbage collection).

There exists various flavors of the book (in ML, Java, and C).

[Ambroisie]

The only worthwhile version is the ML one though, see https://assignments.lrde.epita.fr/tools/modern_compiler_impl...

[chidiw]

There's also Thorsten Ball's Writing an Interpreter in Go[1] and Writing a Compiler in Go[2].

[1] https://interpreterbook.com/

[2] https://compilerbook.com/

[zvmaz]

Excellent book indeed. Note that Ball's interpreter uses Pratt parsing, which doesn't require you to delve into the theory of formal languages.

[shadowofneptune]

I've found Pratt parsing meshes rather well with formal grammars. Anything that is better described by an operator precedence table rather than BNF should be handled by the Pratt parser, rest can be done with recursive decent.

[munificent]

Yes! Thorsten's books are great!