If anyone want another concrete example of a tagless interpreter in OCaml, I wrote one on SO awhile back: https://stackoverflow.com/questions/22676975/simple-l

If anyone want another concrete example of a tagless interpreter in OCaml, I wrote one on SO awhile back: https://stackoverflow.com/questions/22676975/simple-lambda-calculus-dsl-using-gadts-in-ocaml https://stackoverflow.com/questions/22676975/simple-lambda-c... Candidly, I find them a pain to write, but it is faster and integrates with the host language's type checker.