Abstract
We present an educational compiler, MinCaml, implemented in 2000 lines of ML. The target language is a strict, impure, implicitly typed, higher-order functional language. The compiler produces as fast code as Objective Caml and GCC do for several application programs including a ray tracer.
