In this section we discuss why compiling the compiler is different from compiling other ML programs. Each of the following sub-sections focuses on one particular aspect.