Когда языки появляются из "чистой идеи", то возникает LISP. В этой области можно ожидать чего-нибудь, танцующего от задач/интерфейса с будущим ИИ.
Когда язык возникает из специфических структур данных, то появляется SQL. Возможно будут создаваться метаязыки высокого уровня с новыми типами данных, например, видео (аудио), поисковый запрос и т.д.
Из железа пока ничего нового не светит, разве что мы возобновим проект СССР "Сетунь" и появится вычислительная техника на оптимальной 3-чной арифметике ))
Last but not least: Квантовые компьютеры неизбежно породят языки, базирующиеся на теории нечетких множеств.