The OCaml Journal just published an article describing the design, implementation and optimization of an interpreter for a minimal bytecode language:
"As a high-performance functional programming language, OCaml is perfect for writing interpreters. These programs involve a wide variety of different techniques from lexing and parsing to various methods of evaluation, compilation, simplification and rewriting. All of these techniques will be described in future OCaml Journal articles and this article describes the implementation of three progressively optimized interpreters for a minimal byte code language..."
To read this article and more, subscribe to The OCaml Journal today!