D>Смутно вспоминается, что на каком-то далёком курсе нам давали доказательство эквивалентности этих двух вещей.

и что??? подавляющее большинство языков эквивалентны в этом смысле.
Те что не эквивалентны -- недостаточно мощны (это не плохо, но они ограничены для узких задач, типа препроцессора Си).

Здравствуйте, anokata, Вы писали:

A>Какой язык/парадигма программирования заставляют максимально изменить способ мышления и программирования (в отличие от императивного/ооп/функционального или же в их рамках)? А также максимально далеко уйти от машинного уровня?
кстати, да. тут упоминали похожее. Язык программирования ПЛИС (программируемых логических схем). Выглядит с виду как обычный ЯП, а все иначе. Особенно, когда плиску на 85% заполнишь. Тогда уже начинаешь учиться писать термоустойчивый код

Здравствуйте, March_rabbit, Вы писали:

M_>Здравствуйте, anokata, Вы писали:

A>>Какой язык/парадигма программирования заставляют максимально изменить способ мышления и программирования (в отличие от императивного/ооп/функционального или же в их рамках)? А также максимально далеко уйти от машинного уровня?
M_>кстати, да. тут упоминали похожее. Язык программирования ПЛИС (программируемых логических схем). Выглядит с виду как обычный ЯП, а все иначе. Особенно, когда плиску на 85% заполнишь. Тогда уже начинаешь учиться писать термоустойчивый код

Только в этом случае не выполняется условие "максимально далеко уйти от машинного уровня" — здесь обратная ситуция: максимально приблизиться к железу.

Здравствуйте, NiJazz, Вы писали:

NJ>Здравствуйте, out-of-the-way, Вы писали:

OOT>>По мне js и as вообще это вообще не программирование, цацки одним словом. По сабжу, ну не много пришлось перестраиваться под sql, больше не чего.

NJ>А проектов много на нем сделали?

Не одного, js мне просто не интересен.

Здравствуйте, Sharowarsheg, Вы писали:

A>>Какой язык/парадигма программирования заставляют максимально изменить способ мышления и программирования (в отличие от императивного/ооп/функционального или же в их рамках)? А также максимально далеко уйти от машинного уровня?

S>Машинного уровня позволяет уйти много не, но тот еще Форт изврат.

Форт как раз ПРИБЛИЖАЕТ к машинному уровню. Хотя сам язык очень прикольный и концепция у него интересная.

Здравствуйте, anokata, Вы писали:

a> Какой язык/парадигма программирования заставляют максимально изменить способ мышления и программирования (в отличие от императивного/ооп/функционального или же в их рамках)? А также максимально далеко уйти от машинного уровня?

PROLOG год 1992

Здравствуйте, Basil2, Вы писали:

B>Форт как раз ПРИБЛИЖАЕТ к машинному уровню. Хотя сам язык очень прикольный и концепция у него интересная.

Только он приближает к весьма специфической и достаточно высокоуровневой машине