![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Тьюринг-полные языки времени компиляции
Что-то мне мозг гложет мысль. Если у нас язык шаблонов C++ или там система типов хаскеля тьюринг-полные - это же не означает что мы можем реализовать произвольные действия на них. Т.е. например описать две строки, конкатенировать их и вывести в виде одной строки. Собственно говоря, и машина тьюринга этого не умеет, в оригинале. Только если к ней прикрутить интерпретатор выходных значений, который бы умел выводить строки, тогда по идее можно такое сделать, в виде программы для нее.
no subject