Refer, еще один ЯП для срыва мозга Опции

[tolich]

Более полной документацией озабочусь позднее, пока только основные фишки:
1) Forth-подобный синтаксис. (Хотя это не совсем Forth...)
2) Компилятор на Refer, входит в поставку.
3) Только COM-файлы, никаких библиотек поддержки.

Скачать 1.03
Скачать 1.04
Скачать 1.05
Скачать 1.06

[tolich]

Примечание: в дальнейшем если я буду писать "скомпилировать байт/слово/строку" это всего лишь означает "добавить байт/слово/строку в выходной буфер, зарезервировав этот участок буфера".

Пользовательские слова
Словарь userwords содержит слова, определённые пользователем. Словарь userwords содержит слова, которые выполняются в процессе компиляции, причём поиск слов в нем происходит сразу после словаря compilers. Все слова, определённые в этом словаре, имеют схожую семантику: скомпилировать значение указателя выходного буфера на момент создания слова.

Самым простым способом создания такого слова является create-item.

Код

create-item new-word

создает новое слово new-word, которо является просто меткой. При этом текущий словарь устанавливать не надо, новые слова всегда создаются в словаре userwords.

Зачем нужны такие слова? Для компиляции последовательности ссылок. Вначале create-item или другое, использующее его слово, создаёт метку в словаре userwords, затем в процессе компиляции ссылка на эту метку помещается в выходной буфер.

Значение адреса метки можно получить с помощью слова ':

Код

' new-word .

в процессе компиляции напечатает значение адреса определённого выше слова (скорее всего, это будет 256 ).

Пользовательским словом называется не то слово, которое размещено в словаре userwords, а то слово в выходном буфере, на которое это слово ссылается. То есть, для того, чтобы создать полноценное пользовательское слово, необходимо определить метку и затем определить код самого слова.

Макросы

Макрос - это последовательность слов, выполняемых в нужное время вместо имени макроса. Фактически эффект почти в точности равен тому, как если бы вместо имени макроса вставили сами его слова. Единственное отличие возникает в том случае, если влова в макросе пытаются выбирать символы из текущей строки. Тогда эти символы нужно просто поместить после соответствующих слов.

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

Конкретный пример:

Код

macro ," 34 parse c@ 1 + allot endm

Его можно вызвать, например, так:

Код

," Hello, world!"

Это полностью аналогично следующему фрагменту:

Код

34 parse Hello, world!"c@ 1 + allot endm

1) parse выделяет подстроку с ограничителем, код которого снимает со стека (в данном случае это ", а текст Hello, world!) и кладёт сроку со счетчиком по текущему указателю компиляции в выходной буфер (не компилирует, так как память не резервируется), на стек помещается адрес этой строки.
2) c@ получает длину строки, 1 + получает длину строки с учетом символа-счетчика.
3) allot резервирует в выходном буфере длину строки с учетом символа-счетчика.
В результате, строка Hello, world! компилируется в формате "строка со счётчиком".

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

Макросы компиляции

Для того, чтобы определять макросы периода компиляции, необходимо выбрать текущим словарь compilers.
Это делается словом current:

Код

current compilers

Все последующие макроопределения будут помещены в словарь compilers, до тех пор пока не встетится код:

Код

current interpret

который устанавливает текущим словарь interpret.

То же самое касается и переключения на другие словари.

В процессе определения макроса не надо забывать, что в момент его исполнения не происходит переключения контекста. Это означает, например, необходимость явно переключить контекст на интерпретацию.

Конкретный пример:

Код

current compilers
macro literal lit [ , ] endm
current interpret

В этом примере определяется макрос literal (который, как мы помним, используется для обработки чисел). Итак, что он делает:
1) Записывает в выходной буфер ссылку на пользовательское слово lit.
2) Переключает компилятор на словарь interpret.
3) Снимает со стека число и записывает в выходной буфер.
4) Переключает компилятор на словарь compilers.
В результате мы имеем в выходном буфере 2 двухбайтных слова: ссылку на lit и обрабатываемое число. В процессе выполнения будет вызвано слово lit, скорее всего, оно положит то самое скомпилированное число на стек данных.

Замечание: возможно, но нежелательно делать словарь userwords текущим. Макросы компиляции лучше добавлять в словарь compilers, так они будут иметь приоритет над определёнными позднее одноимёнными пользовательскими словами. Для того же, чтобы в процессе компиляции компилировать пользовательское слово, а не вызывать одноимённое слово-компилятор, можно применять следующий макрос:

Код

current compilers
macro [compile] [ ' , ] endm
current interpret