Мне говорят, что система шаблонов на С++ является Turing-complete во время компиляции. Это упоминается в этом сообщении, а также на wikipedia.
Можете ли вы представить нетривиальный пример вычисления, использующего это свойство?
Этот факт полезен на практике?