Comment by sklogic

But you should not write your compiler the same way you write your ordinary, complex, convoluted, Turing-complete programs.

Compilers are far simpler than that. You do not need a Turing-complete language to write a compiler.