Как сделать контроль парностей IF-THEN и остальных структур?

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

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

Какое определение IF ты смотрел.
В src\compiler\spf_immed_control.f


Куда проще? Где тут определение через самого себя?

очередной раз посмотрел, с каждым разом чуть яснее становится, но все же
в ?COMP и в ?BRANCH используется IF, откуда он его берет? если этот же, то получится зацикливание - что бы определить ?COMP нужно запросить IF, который в свую очередь снова запрашивает ?COMP
далее, >MARK записывает адрес ячейки куда нужно будет сохранить адрес перехода в переменную :-SET но дальше я не понимаю, переменная одна, а вложенных IF может быть много, как тогда поступается?

при использовании вложенных IF никаких дополнительных управляющих слов я не заметил, отсюда предполагаю, что они должны взять определение текуще-определяемое, хотя может я просто неправильно понимаю про режимы компиляции-выполнения...

Как сделать в "стандартных" фортах - не знаю. В моей реализации он автоматом при компиляции сделан. Причём контроль как парности, так и корректности вложенности.
Минус - нельзя переопределять слова if-then-begin-while и проч.

Есть книга по Форту Баранова, Ноздрунова "Язык Форт и его реализации"
c нее лучше начать изучение возможных технических решений в Форт языке. берется с forth.org.ru
если еще её не читали. Или опишите Ваши текущие задачи сопряженные с
Форт. т.к. механизмы реализации тех или иных возможностей могут
быть разные,
( Форт системы, часто создаются и расширяются из уже существующих)
А более приземленно в Форте нет ничего кроме цикла интерпритации
входного потока с незамысловатой семантикой его обработки.

В ?COMP и в ?BRANCH IF не компилируется, а отрабатывается. Т.к. имеет признак немедленного исполнения.
Отработка его заключается в компиляции условного перехода. Т.е. в нотивном коде ?COMP и ?BRANCH никакого
IF нет. Для вызова IF из программы перед ним следует поставить [COMPILE] ( POSTPONE в данной версии целевого
компилятора не реализовано). На пример: определение WHILE выражено через IF .

вызови
spf4.exe devel\~mak\LIB\disasm.f SEE ?COMP

ЗЫ:
в http://fpauk.narod.ru/dbgwc11.rar src\spf.f
К
S" src\compiler\spf_translate.f" INCLUDED
добавь суффикс _L
S" src\compiler\spf_translate.f" INCLUDED_L

после сборки появится листинг

src\compiler\spf_translate.f_l

разбираясь дальше в >ORESOLVE заметил сообщение об ошибке при несоответствие пары иф-тогда. Получается все же есть контроль. Но все равно не понятно как работает переменная :-SET. В этой теме пока вопросов больше нет, спасибо.

Эта переменная пипа VALUE. :-SET сразу кладет на стек свое содержимое. Присвоение с помощью TO .
Значение :-SET задает ограничение оптимизатору. В ней отмечается точка передачи управления.
DP @ ( HERE ) возвращает вершину кодофайла - адрес между занятой и свободной областями.
Т.е. место куда будет компилироваться следующая команда.

: IF ?COMP 0 ?BRANCH, >MARK 1 ;
: >MARK DP @ DUP TO :-SET 4 - ;

т.е. конструкция типа
1 IF <ДЕЛАЕМЧТОНИБУДЬ>
1 IF <ДЕЛАЕМЕЩЕЧТОНИБУДЬ>
THEN
THEN

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

есть два момента, о которых вы забыли.
1) стек! А именно данные могут сколько угодно времени храниться на стеке данных, в том числе и информация для корректной отработки вложений.
2) вы не смотрели в код слов ?COMP ?BRANCH, >MARK

Если хотите понять как оно должно работать, то лучше взять SPF 3.75 - там нет оптимизатора, который сильно запутывает понимание кода.

Гораздо более понятно, как производится контроль вложенности компилирующих структур видно на примере конструкции:
BEGIN WHILE WHILE REPEAT THEN

THEN не смотрит содержимое переменной :-SET это только для оптимизатора.
Обрати внимание на слово DUP в >MARK.
Без оптимизатора было-бы так:
: >MARK DP @ 4 - ;