Смена подхода: императивный, ООП, сейчас прототипируемый и функциональный. Будут новые идеи можно создать под них язык, а так то что сейчас было например новый язык D после C, то непонятно зачем он

Как я считаю, новый язык программирования нужен для совмещения в себе плюсов и предотвращения минусов уже существующих языков программирования. Например, было бы интересно посмотреть на новый язык программирования, совмещающий в себе скорость плюсов, простоту и многофункциональность Пайтона.

Под новые архитектуры, смысла в ином не вижу

Как нам может подсказать опыт работы с Common Lisp, язык программирования - это набор синтаксических абстракций, ссылок на последовательности низкоуровневого кода, сокращающих количество реально написанного кода в рамках человекопонятной идеи. Чисто эзотерически, язык программирования можно назвать коллективным майнером внутренних человеческих дилемм о самом простом синтезе или градации идей. Синтаксическим абстракциям нужно время, чтобы быть преобразованными в инструкции процессору, их развёртка - всё равно что искусство оригами, а какая-то его техника может оказаться оказаться достоянием определенного языка, который эффективно решал проблемы людей в своей сфере и принес им озарение. Собрать такие озарения в один новый язык или придумать как их интегрировать в существующий, который сам по себе разрабатывался изначально в узкопрофильных целях - и есть актуальная дилемма. Уместит ли идея языка в себе все самые светлые озарения или станет ступенькой для более светлой идеи о том, как это всё совместить?

Когда существующие не устраивают.