Вопрос таков - не кажется ли кому-то, что самая простая оптимизация в двух смыслах
1. читабельность и простота
2. скорость

должна для форта включать в себя всего лишь следующее
1) все переменные получают имена и ассемблерно оптимизируется доступ до переменной с именем
2) на стеке нет никаких других переменных, кроме логических - результатов сравнений
и т.п.
3) над результатами логических действий возможны стековые операции для организации сложных ветвлений, циклов и т.п.
4) над данными производить какие-либо стековые операции компилятор отказывается, воспринимая как целое фразу, где присутствует присвоение. т.е. результат арифметических действий присваивается переменной


при этом для человека
1. исчезает необходимость помнить, что вперемешку лежит на стеке и вообще работу с адресами
2. все переменные приобретают имена

для оптимизатора
1. необходимо оптимизировать всего лишь обращение по адресу или по трём адресам с действием А В + С ! при этом восклицательный знак может играть роль маркера конца операции, а операции можно анализировать синтаксически, практически не усложняя интерпретатор
2. необходимо оптимизировать работу с массивами - т.е. обращение по "адресу с индексом"
3. Необходимо оптимизировать весьма ограниченное количество стековых операций с логическими результатами ( DUP IF будет означать условный переход. а не
(1) дублирование (2) условный переход (3) удаление со стека лишней переменной ;
OVER IF будет опять же означать условный переход, а не (1) увеличение указателя стека (2) перемещение на вершину стека копии второго элемента (3) условный переход (4) удаление с вершины стека элемента )
подобных переходов не так много - в пределах 16 штук
4. остаются под вопросом только результаты побитовых лoгических операций AND OR XOR
они могут использоваться и как данные и как логические переменные (основание для ветвлений) для них достаточно 1 (одной) операции помещения на стек, вместо присвоения, скажем, это может быть !!
Это значит, что если фраза заканчивается ! - результат рассматривается как арифметический и уходит в память, если !! - как логический и кладётся на стек

странно...
а мне казалось, что самая-простая-оптимизация - это:



Оптимальнее некуда.

я же не предлагал ограничить функциональность форт-системы, а только стековые операции с данными заменить на операции с памятью, это позволяет самую, как кажется, даже переносимю оптимизацию на уровне ассемблера :
стековых операций остаётся очень немного - и поэтому можно все их (и даже их сочетания) прописать оптимально в ассемблере
и обращения к памяти в этом случае могут по максимально простому алгоритму оптимизироваться компилятором ИМНО

Dragon book сразу посоветовать, или еще рано?

обсуждаемое проще

Обсуждаемое является кусочками Dragon book. Собственно, уже не только ее, литературы по созданию компиляторов сейчас достаточно много.

Книг много
этот кусочек настолько очевиден. что не нуждается ни в какой книге

Однако очевидна ли актуальность вот именно этого кусочка?

нельзя ли перенести эту тему в тот раздел, где лежит моя статья?

1. просто - упрощается работа со стеком, добавляется наглядность, структура кода прозрачна как вода в стакане, уходят стек возвратов и т.п.
2. предельно ясно - всего два дополнительных (не переделывать а дополнить) структурных ограничения
3. предельно ясно, какова задача перед оптимизатором и как её реализовать (оптимизировать обращение к памяти сможет студент 1 курса)
4. экономно - образуется ограниченная числом группа операций, которую выгодно оптимизировать ассемблерно (логические операции + последующие переходы), можно реализовать даже в железе ввиду немногочисленности

непонятное выражение.
Обычно выбирать приходится между скоростью и объемом кода. То есть, пытаясь ускорить работу, мы вынуждены увеличивать размер кода, и наоборот, при уменьшении объема кода скорость выполнения падает.
?Что значит читабельность, как она относится к оптимизации-то!


Собственно, попробовать вы можете так сделать и не только так. Давайте уже от генерации идей переходить к их реализации.

что же касается стека, то он как раз кеширует данные, то есть ускоряет работу.

если кастрировать кота, то он становится покладистым, не орет ночами, не метит углы, не бегает по кошкам, не дерется с соседними котами, мирно лежит у огня. Надо кастрировать всех котов - это смогут сделать даже студенты 1 курса.

Однобитовый стек? свежо и остроумно! Переменные тоже надо бы сделать однобитными. Представляете: можно обрабатывать числа любой разрядности бит за битом. А главное, просто!

Может лучше отимизировать парсер как в Mouse? И внутренюю структуру Форта (Например словарь: заменить список на хэш-таблицу)?

ЧТо за эмоции?