Slučajno nađoh
ovaj članak koji pokazuje kako se od C++ šablona može napraviti Tjuringova mašina!
Posledice su vrlo vesele, a IMHO najbolja od njih je:
Citat:
In the absence of instantiation limits, whether a C++ compiler will halt when compiling a given program is undecidable.
f