Reddit reviews The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science)

Here's my attempt to be helpful!

• Borrow or buy Simon Peyton Jones' The Implementation of Functional Programming Languages (Amazon, free PDF version).
  
• Also read Implementing functional languages: a tutorial, which is a reimagining of the above for use in the classroom.
  
• Read through The ZINC Experiment, Xavier Leroy's exposition of his earliest OCaml implementation.
  
• I really like the LLVM Kaleidoscope tutorial series. It's not about compiling functional languages. Rather, it implements a compiler in OCaml.
  
• I second u/sociopath_in_me's advice to try to tackle Crafting Interpreters again.
  
• Check out The Optimal Implementation of Functional Programming Languages by Andrea Asperti and Stefano Guerrini (Amazon). There are PDFs of it all over the internet, but I don't know what its copyright status is.
  
  Regarding Asperti and Guerrini, there are a few people on this subreddit who are working on cutting edge research compilers for functional languages based on term-rewriting. I've found this subreddit as well as r/Compilers to be very friendly and helpful in general, so I encourage you to take advantage of them. Ask questions, bounce ideas off of people, etc.

I'm not a huge fan of Haskell. It's big features like laziness, "no side effects" (performUnsafeIO is everywhere), and (to a lesser extent) immutable everything are generally at odds with the real world. If you are willing to work through those, it makes fast code.

SML with mlton or similar is a better flagship for lambda calculus languages. Like all GC'd languages, it loses by a little to the low-level C ones in the general case. Compared to other GC languages, it's very competitive.

https://www.amazon.com/Implementation-Functional-Programming-Prentice-hall-International/dp/013453333X