Addendum: Hell, I should add that I'd be happy with a book on any statically-typed language, for example a statically-typed version of this Monkey language that

Addendum: Hell, I should add that I'd be happy with a book on any statically-typed language, for example a statically-typed version of this Monkey language that people are writing tutorials for. A statically-typed functional language with pattern matching, closures, tail-call elimination, etc. would be even better, but there's a huge dearth of practical books on creating even basic statically-typed languages and type checkers. Meanwhile, we get a new book on interpreters for some dynamically-typed language every week. I think we have enough of those, unless you're just writing it for your own edification!