И жаба дженерики тюринг комплит и С++ темплейты, насколько я знаю.
Насчёт жаба дженериков не уверен. Беглое прочтение статьи не дало мне понимания, в каком смысле имеется Тьюринг полнота: система типов Тьюринг полная или реальный тайп чекер. Про плюсы была статья на Хабре: "жизнь времени компиляции" или что-то подобное, где gcc заставили на шаблонах алгоритм жизнь считать