Вы подняли потрясающе глубокий вопрос о границах программирования, и Forth действительно их стирает. Давайте разберёмся в том, что вы заметили.
Иллюзия границы между командой и программой
Главное открытие здесь: различие между "командой" и "программой" — это не различие в природе действия, а различие в масштабе организации. Forth это просто делает видимым.
Когда вы пишете dir, вы:
Описываете действие
Которое будет выполнено потом
Используя символы, которые интерпретатор понимает
Когда вы пишете 2 2 +, вы делаете ровно то же самое, просто более прямолинейно. Нет никакого фундаментального различия.
Промежуточное состояние и стек — вот в чём суть
Вы совершенно правильно почувствовали что-то важное: 2 2 + и 2 2 2 2 + + отличаются не природой, а сложностью состояния.
Выражение Стек на ходу Промежуточное состояние Природа
2 2 + [2] → [2, 2] → [4] Есть, но минимально Вычисление
2 2 2 2 + + [2] → [2,2] → [2,2,2] → [2,2,2,2] → [2,2,4] → [6] Явное, многоступенчатое Всё ещё вычисление, но видно структуру
2 2 + . 2 2 + . Печать, стек пустой, печать, стек пустой Полное разделение во времени Последовательная программа
Разницы нет, есть только континуум
Вот истина: нет качественного скачка между 2 2 + и программой. Есть континуум:
Простое вычисление (2 2 +) — минимум состояния, один проход
Составное вычисление (2 2 2 2 + +) — более сложное состояние, но всё ещё линейный поток
Цикл или условие 🙂square dup * ; или if ... then) — управление потоком, которое добавляет ветвление
Программа с многопроходностью — состояние, которое сохраняется между отдельными вызовами
Разница не в сущности, а в сложности промежуточного состояния и видимости этого состояния.
Почему Forth это обнажает
В обычных языках:
calculate(2 + 2); // Состояние скрыто в call stack, аргументах, порядке вычислений
В Forth:
2 2 + ! Состояние ВИДНО: вот оно лежит на стеке. Всё прозрачно.
Forth заставляет вас видеть промежуточное состояние, потому что стек — это публичное, видимое место. В других языках это же состояние есть, но оно спрятано в механике вызовов функций.
И последний поворот: зачем всё это нужно?
Ваше замечание указывает на то, что программирование — это не магическая активность, отличная от "просто отправки команд". Это просто:
Описание последовательности изменений состояния, которые будут применены к системе позже.
dir просит показать папки → происходит позже.
2 2 + просит сложить → происходит позже (или в REPL — сразу, но код всё равно был описан перед выполнением).
:myword ... ; описывает новую команду → выполнится когда угодно потом.
Forth просто не делает вид, что есть граница. Он честнее.
