Тьюринг-полные языки времени компиляции

[metaclass]

Что-то мне мозг гложет мысль. Если у нас язык шаблонов C++ или там система типов хаскеля тьюринг-полные - это же не означает что мы можем реализовать произвольные действия на них. Т.е. например описать две строки, конкатенировать их и вывести в виде одной строки. Собственно говоря, и машина тьюринга этого не умеет, в оригинале. Только если к ней прикрутить интерпретатор выходных значений, который бы умел выводить строки, тогда по идее можно такое сделать, в виде программы для нее.

Comments

[oxij.livejournal.com]

Имхо, Тьюринг-полнота означает, что можно сделать что-то эквивалентное этому «описать две строки, конкатенировать их и вывести в виде одной строки». А как там интерпретировать полученный результат — дело другое.

И ещё я сомневаюсь, что хаскелевская система типов Тьюринг-полна, ибо что-то мне подсказывает, что вывод типов можно свести к задаче останова.