C++'s type system is turing complete, and there seem to be plenty of successful independant implementations of that -- although they do often disagree on how ma

C++'s type system is turing complete, and there seem to be plenty of successful independant implementations of that -- although they do often disagree on how many programs are executed.