Monthly Archives: May 2011

A Theoretically Correct C++ Compiler

I just realized that a C++ compiler can never be theoretically correct. This follows from the fact that C++ templates are Turing Complete (no, really) and the halting problem. We can never say for sure whether a template expression is … Continue reading

Posted in Computers | Tagged , , , | 2 Comments