[NathanCollins]

Are you aware of /The Implementation of Functional Programming Languages/ by Simon Peyton Jones, the main person behind the front end of the GHC Haskell Compiler? The full book is available free on his web site as PDF:

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.

[jnbiche]

Yes. I appreciate that he released it as a PDF, but that book is one of the old, dense, academic books I described. I should try it again, but it's very different from the step-by-step books posted above, or the partial book by Stephen Diehl.