Форт-компиляторы для спектрумсовместимых компьютеров. Изучение возможностей.

[Smalovsky]

Топик создал для тех кто хочет программировать на форте. И сразу надо начать с главного вопроса - выбор компилятора и целевой платформы.
Так как кросскомпилятора сейчас нет, будем расматривать нативные. Лучший выбор, думаю, будет кп/м компилятор с возможностью получать машинный код с запуском по произвольному адресу, так как на таком компиляторе можно делать программы для обычного спектрума. Но программирование для обычного спека не цель, поэтому надо рассматривать другие платформы: Профи, Спринтер, Кворум, АТМ Турбо. Интересно, есть ли свой форт для спектрума +3?
Пишите о компиляторах форта, описывайте их возможности.

[Advertiser]

[Smalovsky]

Нашел для Спринтера компилятор CamelForth основанный на стандарте ANS 1994. Сильно ли устарел компилятор? И вот вопрос - как на форте делать вызов машинного кода?

[Oleg N. Cher]

CODE <имя> <машинный-код> END-CODE, где «имя» является именем определяемого слова, а «машинный-код» — записью его реализации в машинном коде в соответствии с принятыми соглашениями.

• http://www.netlib.narod.ru/library/book0001/ch02_06.htm

Но может поддерживаться "из коробки" не всеми Фортами.

[b2m]

И вот вопрос - как на форте делать вызов машинного кода?

Если нужно вызвать что-либо по какому-то адресу, то так: <адрес> EXECUTE
Но проблема в том, что это не всегда так (на вход этому слову нужно дать execution token, а это не всегда адрес машинного кода, зависит от реализации форта), к тому-же обычно нужны параметры в регистрах, а не в стеке.

Поэтому лучший вариант это вызывать через определение CODE END-CODE, но сначала нужно подгрузить форт-ассемблер (где собственно и определены эти слова).

- - - Добавлено - - -

Вот тут пример реализации встроенного ассемблера (из книги Баранова-Ноздрунова): https://gudleifr.forum2x2.ru/t120p25-topic#2067

[andrews]

Вот неплохой цикл статей на Хабре "Байт-машина для форта (и не только) по-индейски"про реализацию FORTH на ассемблере. Правда чувак кажется замучался и в результате не довел дело до конца! И второе, что поскольку это ассемблер x64 и Linux, то при другой паре придется многое менять. Но технология "индейцев" от программирования раскрыта. Мне такие статьи импонируют. Сам когда-то писал в таком стиле про Blackfin.

[Smalovsky]

На страницу камелфорта можно попасть через сайт z88forever.org с раздела софт. На вики камела написали что есть еще версия для спектрума +3.
Я еще ничего не изучал. Посмотрел демо на форте в эмуляторе спринтера.

[krotan]

Пишите о компиляторах форта, описывайте их возможности.

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

[andrews]

Форт - это интерпретатор+компилятор два в одном, у него иная идеалогия программирования, чем вы думаете

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

Теперь усложним задачу. Создадим режим, в котором он не просто "просматривает" коды текста из файла с FORTH программой и последовательно их выполняет, а генерит целиком ядро и расширения для другой пары проц+операционка и выдает это все в выходной файл, который потом запускается на назначенном cpu+os и пользователь не чувствует существенных различий принципиально. Понятно, что они могут быть и существенными из-за разной организации памяти, возможностей графики, звука и прочее. Но задача разработчика тогда ограничится тем, что не различается столь существенно.

[krotan]

Создадим режим, в котором он не просто "просматривает" коды текста из файла с FORTH программой и последовательно их выполняет, а генерит целиком ядро и расширения...

Форт так не работает, он компилирует каждое слово в момент его описания. Пожалуйста полистайте Броуди.

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

[b2m]

форт не предполагает написание длинных простыней с исходниками и последующей компиляции

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