Какие два языка слиты? Ты откуда такое взял? Полноту по Тьюрингу шаблонов случайно обнаружил инженер Сименс один в начале девяностых, и это дальше раздулось во что-то неуправляемое. Такие промахи в языке нельзя по щелчку пальцев исправить (см. про обратную совместимость), но сейчас хотя бы концепты пришли.
Какие два языка - это си с классами и С++. Из си с классами целая область вышла с источником в жаве.
Никакая полнота и все эти сказки к теме отношения не имеют. Всё это - не свойство шаблонов, а свойство статического полиморфизма, который никто в глаза не видел. И всё это его последствия. С каких пор это стало промахом? Потому что адепты скриптухи яро ненавидят статический полиморфизм и пытаются выдать за него другое? Своё параметрическое дерьмо?
Ничего из того, о чём я говорю - никакой обратной совместимости не нарушает. Этой проблемы вообще не существует. Проблема там заключается в том, что новой фичей не смогут пользоваться те, кто завязан на эту совместимость. Но это никого не должно волновать.