We present a simple compiler, consisting of only 2000 lines of ML, for
a strict, impure, monomorphic, and higher-order functional language.
Although this language is minimal, our compiler generates as fast code
as standard compilers like Objective Caml and GCC for several
applications including ray tracing, written in the optimal style of
each language implementation.  Our primary purpose is education at
undergraduate level to convince students---as well as average
programmers---that functional languages are simple and efficient.