But you should not write your compiler the same way you write your ordinary, complex, convoluted, Turing-complete programs.<p>Compilers are far simpler than that. You do not need a Turing-complete language to write a compiler.