Any similar resource for other functional languages, that go deep into justifying language features, explaining their implementations and the underlying runtime

Any similar resource for other functional languages, that go deep into justifying language features, explaining their implementations and the underlying runtime? I come across way too many tutorials or books that only show how to use the syntax, with occasionally a neat syntatic sugar or two.