We present a new tool, ocamli, which runs ordinary OCaml programs by direct interpretation of the abstract syntax tree. It can show arbitrary parts of the evaluating expression to aid in teaching and debugging.

We also show how one can use ocamli as a library to construct and evaluate OCaml expressions at runtime in what amounts to a crude form of metaprogramming, and speculate on some future directions.