If you're interested in how to parse, type-check and evaluate functional languages with cutting-edge performance, then I highly recommend following the work of András Kovács on GitHub:
His work is basically the gold standard for how to implement every aspect of functional programming as efficiently as possible. His projects are written in Haskell and give performance that's as good or better than the state-of-the-art in other languages (even highly-efficient imperative languages like C++ or Rust) along every axis. The only downside is that his coding style is a bit difficult to read, but if you get past that you'll learn a lot.
Just browse his pinned repositories, which already highlight the most notable ones that you should check out.