С чем связан тот факт, что на некоем Тьюринг-полном языке, на котором, по определению, можно реализовать любой алгоритм, бывает чрезвычайно тяжко, а то и невозможно собрать какое-нить архитектурное решение?
Это то, что называют семантикой языка, или другое?
Как пример, можно привести "излюбленный" C++, и его язык шаблонов, который, по сути, прибит к плюсам гвоздями-сотками, и нихрена не вписывается по "внешнему виду".
Истина где-то рядом?
