I’m also interested in this (conceptually).
I intend to eventually buy this book to learn the fundamentals: https://craftinginterpreters.com
A tutorial sounds a little too optimistic to me. For the solution to be practical would probably require a lot of work, much more than just re-writing the libraries you need in OCaml I would think.
If you haven’t done so, you should probably take a good look at the PPX system mentioned here first: [ANN] Improvement on the PPX ecosystem documentation
I’d like to hear what knowledgeable people have to say on the matter though 