> I'd really love to read a modern book or in-depth tutorial on creating a statically-typed functional language, with discussions on pattern matching, type inference, tail call elimination, ADTs, etc
I'm interested in that too. I've heard good things about Appel's book [1], but haven't read it yet.
> There are so many great books out there on how to create a lisp, or a typical mutable object-oriented language
For what it's worth, I haven't found much about creating object-oriented languages. There's a lot on Lispy dynamicall-typed languages, but I haven't seen much on things like method dispatch, vtables, inheritance, etc.
One of the reasons I'm writing this book is to try to cover that. Even if you don't like OOP languages, I think it's worth knowing more about how they work under the hood since they are so prevalent in the industry.
> I've started writing my own in-depth tutorial on this subject using Scala as the implementation language
"Modern Compiler Implementation" isn't too bad, but it is a general purpose introductory compiler text rather than being dedicated to functional languages. It does briefly touch on subjects like closure conversion and type inference, but doesn't give working code.
Appel's other compiler book, "Compiling with Continuations", goes into more depth while falling short of being a complete tutorial on writing a compiler for ML.
I'm interested in that too. I've heard good things about Appel's book [1], but haven't read it yet.
> There are so many great books out there on how to create a lisp, or a typical mutable object-oriented language
For what it's worth, I haven't found much about creating object-oriented languages. There's a lot on Lispy dynamicall-typed languages, but I haven't seen much on things like method dispatch, vtables, inheritance, etc.
One of the reasons I'm writing this book is to try to cover that. Even if you don't like OOP languages, I think it's worth knowing more about how they work under the hood since they are so prevalent in the industry.
> I've started writing my own in-depth tutorial on this subject using Scala as the implementation language
Interesting! Is it online yet?
[1]: https://www.cs.princeton.edu/~appel/modern/ml/