Я не хотел спрашивать это как «ответ» на Вопрос Кто-то опередил меня на 2 года, поэтому я задал новый вопрос. Как явствует из ответа там (см. Н. Рэмси, где он пишет:
«... Однако, если вы посмотрите на новаторскую работу профессора Арвинда из Массачусетского технологического института, его группа спроектировала и построила машины с потоками данных, в которых фундаментальные вычислительные операции носят более декларативный характер ...»
что, возможно, «голые» инструкции могут быть декларативными или не обязательными по иным причинам.
Кто-нибудь знает, как далеко можно зайти в этом направлении? Должны ли компиляторы всегда преобразовывать функциональный язык в императивный язык? Существует ли оборудование, позволяющее это сделать?
Просто любопытно - прогу всегда смотрю. lang. тенденции, и, наконец, мне пришло в голову задуматься, что на самом деле означает отсутствие изменяемого состояния (например).