Forth-процессоры программируются на Форт?

Question

[grama]

Является ли язык Forth аналогом ассемблера у Forth-процессоров?

Answer 1

[smartly]

Близко, но всё таки язык форт больше похож на макроассемблер для форт-процессора.

Answer 2

[Юрий Джур]

Да, является.

Кстати. Кроме обычных и форт-процессоров, в СССР был и LISP-процессор. У него аналогом ассемблер был LISP.

Comments

[zugr]

Нет не является. У Форта есть слова генерирующие новые слова, даже такие которых изначально не было в языке, или изменяющие существующие. Это точно не ассемблер.

Да будет холивар!

[Юрий Джур]

Ввели заведомо ложное утверждение и героически доказали что оно ложное? А зачем?
Разводите холивар где-нибудь в другом месте, уважаемый некропостер :-)

Answer 3

[mayton2019]

Прошу прощения за внезапный UP.

Но мне задали вопрос про Forth. Я увлекся и тут меня (Остапа) понесло.
Вобщем я начал читать и листать всякую инфу по форту. Первое впечатление - полный бардак
в стандартах. Нет никакого общего понимания что такое вообще язык Форт. По крайней
мере я для себя понял что форт - это просто набор слов (words) каждое из которых либо число
либо слово которое вызывает вычисления. Больше реально ничего не регламентировано.
И я так понимаю что Форт-еров это вообще не парит. Они такие себе либеральные оптимисты.
Судя по конференциям средний возраст Форт-иста - далеко за 70 лет. Дедушки с бородами...

По поводу компиллятора и транслятора. Ничего пока непонятно. Целевая платформа
- не всегда x86 а всякое редкое железо. И тренироваться могу пока на GForth который
кое-как работает но не хватает слов. И YForth который крашится в segfault сразу
на моем Linux x64. Остальные я пока не пробовал.

Сам внешний вид кода у меня вызвает немой восторг как когда-то вызывал Common-Lisp.
Это пожалуй редкое чувство я не испытывал давно. И при всем при этом я не нашел
совершенно никакого практического применнеия. Так. Просто забавная мозговая идея
которую приятно думать на сон грядущий.

На главный вопрос автора - и я ответить не могу. Не знаю является или нет. И я не знаю является
ли он вообще ЯЗЫКОМ. МОжет он как Lisp - просто идея. Он просто настолько широк что
определение языка его сужает.

Надеюсь я никого не отвлек своим спичем от важных дел.

Comments

[Сергей]

Присоединяйтесь: https://t.me/ruforth
Возможно наставят на путь истиный.

[mayton2019]

Сергей, спасибо.

Answer 4

[Aryeh Leonid R.]

Я когда-то давно использовал Forth. Ну и много читал о нём тогда-же. Вроде так о есть — Forth-процессор непосредственно выполняет Forth-программу. Но я знаком только с теорией, Forth-процессора никогда не «щупал».

Answer 5

[VoidVolker]

Некропостниг, конечно, но просто оставлю тут объяснение почему именно.
Да, для форт-процессора Форт является ассемблером. Потому что базовая часть слов реализована самим процессором на железном уровне, а так же все слова компилируются в машинные коды, а не в другой ассемблер.
И при этом одновременно Форт является языком высокого уровня. Потому что код может быть перенесён на другую платформу и выполнен там. Да, вот тут есть проблема - разные стандарты, из-за чего и возникает несовместимость разных Фортов. А куча стандартов потому что Форт как ЯП слишком гибкий и позволяет делать вообще всё. Все же слышали про волны гонения в JavaScript из-за того, что позволяет слишком много? Так вот в мире Форта - это все можно возводить в куб. Там не то, что в ногу можно выстрелить, там можно сделать неосторожный шаг в строну и аннгилировать вообще все. Говорят, программа на ошибками Форте просто не запустится. Форт, это не столько ЯП, сколько система, связка из "проблема + DSL на Форте + процессор + библиотеки". Поэтому форт программисты обычно и говорят "Форт-система".