Пара встречных вопросов:
1. что считать принципиально другой архитектурой? кроме упомянутых вами Intel/AMD, есть еще такие штуки как arm/mips, arc, itanium - все они в той или иной степени отличаются друг от друга.
2. следствием какой архитектуры, по вашему мнению, являются языки вроде haskell или prolog? А, например, всякие DSL - тоже ведь языки программирования, просто узко специализированные.
Я не думаю, что языки программирования вообще не имею связь с процессором (как минимум компилятор/интерпретатор должен исполняться на процессоре), но, мне кажется, что ответить на ваш вопрос просто нельзя, пока нет четкого осознания, что такое "другая архитектура". С другой стороны языки являются отражением той или иной модели вычислений, если предложить новую модель, то для описания вычислений в такой модели понадобится новый язык, но будет ли он принципиально другим, и понадобится для него принципиально другой процессор не понятно (как пример, императивные языки vs декларативные, и те и те исполняются на одних процессорах).
