Просмотр кода страницы Форт (язык программирования)

{{Значения|Форт (значения)}}
{{не путать|Фортран|Фортраном|другим языком программирования}}
{{переписать}}
{{Карточка языка программирования
| name = Forth
| semantics = императивный
| class = интерпретатор/компилятор
| year = 1971 год
| designer = [[Мур, Чарльз (программист)|Чарльз Х. Мур]]
| typing = [[Бестиповый язык|бестиповый]]
| implementations = [[gForth]], pForth, kForth, [[SP-Forth]]<ref>{{sourceforge|spf|SP-Forth}}</ref>, win32forth<ref>{{Cite web |url=http://win32forth.org/ |title=Win32Forth Project Group<!-- Заголовок добавлен ботом --> |access-date=2006-08-18 |archive-date=2006-08-13 |archive-url=https://web.archive.org/web/20060813083014/http://www.win32forth.org/ |deadlink=no }}</ref>
| dialects = FORTH-79, FORTH-83, ANSI FORTH 1994 года, [[ColorForth]], [[RetroForth]]. Forth 2012 Standart
| influenced_by = [[АПЛ (язык программирования)|АПЛ]], [[Лисп]]
| influenced = [[PostScript]], [[Factor (язык программирования)|Factor]] и другие [[Конкатенативный язык программирования|конкатенативные языки]]
}}
'''Форт''' ({{lang-en|Forth}}) — один из первых [[Конкатенативный язык программирования|конкатенативных языков программирования]], в котором программы записываются последовательностью лексем («слов» в терминологии языка Форт). Математические выражения представляются [[Обратная польская запись|постфиксной]] записью при использовании [[стек]]овой нотации. Поддерживает механизмы метарасширения [[Семантика (программирование)|семантики]] и [[Синтаксис (программирование)|синтаксиса]] языка для адаптации к нужной предметной области. Синтаксис базового уровня в Форте прост и состоит из единственного правила: «все определения разделяются пробелами». Определения Форта могут иметь любое сочетание символов.

Ряд свойств, а именно [[интерактивность]], гибкость и простота разработки делают Форт эффективным языком в прикладных исследованиях и при создании инструментальных средств. Очевидными областями применения этого языка являются [[встраиваемые системы]] управления. За счёт простоты [[транслятор]], а зачастую и [[компилятор]] Форта легко реализуется для подавляющего числа [[микроконтроллер]]ов, также используется как [[Кросс-компилятор|кросс-средство программирования]]. Применяется также при программировании [[компьютер]]ов под управлением различных [[Операционная система|операционных систем]] или как самостоятельная операционная среда.

== История ==

=== Создание ===

Язык Форт был создан [[Мур, Чарльз (программист)|Чарльзом X. Муром]] в конце 1960-х — начале 1970-х годов. Мур назвал свой язык ''Fourth'', считая, что это будет язык для [[ЭВМ]] четвёртого ({{lang-en|fourth}}) поколения. Но так как он работал на машине {{не переведено|IBM 1130||en|IBM 1130}}, которая допускала имена, составленные не более чем из пяти прописных букв, название было преобразовано в ''FORTH'' ({{lang-en|forth}} — вперёд). Впрочем, первые эксперименты Мура по созданию простого интерпретатора, облегчающего написание программ управления астрономическим оборудованием, относятся ещё к концу 1950-х годов.<ref>{{cite web|url=http://www.forth.com/resources/evolution/index.html|title=The Evolution of Forth|author=C. H. Moore, E. D. Rather, D. R. Colburn.|date=1993-04|work=ACM SIGPLAN Notices, Volume 28, No. 3. March, 1993 / History of Programming Languages Conference|archiveurl=https://www.webcitation.org/6184coen2?url=http://www.forth.com/resources/evolution/index.html|archivedate=2011-08-22|accessdate=2010-02-19|deadlink=no}}</ref>

С 1971 года Мур работал в [[Национальная радиоастрономическая обсерватория (США)|Национальной радиоастрономической обсерватории]], участвуя в разработке программ сбора и обработки получаемых [[радиотелескоп]]ом данных. Именно тогда появилась первая реализация языка Форт. В этой работе также участвовала сотрудница Мура {{нп2|Элизабет Ратер||en|Elizabeth Rather}}, которую можно считать вторым в мире форт-программистом.

Вновь созданный язык был принят в качестве основного языка программирования в [[Американское астрономическое общество|Американском астрономическом обществе]]. Позднее, в 1973 году, Чарльз Мур и Элизабет Ратер основали компанию FORTH, Inc<ref>{{Cite web |url=http://forth.com/ |title=Embedded Systems Development and Programming Tools by FORTH, Inc<!-- Заголовок добавлен ботом --> |access-date=2010-02-19 |archive-date=2010-01-04 |archive-url=https://web.archive.org/web/20100104121043/http://www.forth.com/ |deadlink=no }}</ref>, в ходе работы которой в течение следующего десятилетия язык был [[Портирование программного обеспечения|портирован]] на множество платформ.

В конце 1970-х годов программистами, заинтересованными в развитии языка, была создана группа FORTH Interest Group (FIG). Этой группой разработана концепция FIG Forth Model — общедоступной форт-системы, которая может быть легко перенесена на популярные компьютерные архитектуры. Эту эталонную форт систему — FIG-FORTH часто рассматривают как первоначальный стандарт языка.

=== Стандартизация ===
Идея официальной стандартизации Форта первоначально возникла в рамках Международного объединения астрономов ({{lang-en|Astronomical Sciences, AST}}). В мае 1977 года на встрече в [[Национальная обсерватория Китт-Пик|Национальной обсерватории Китт-Пик]] ([[США]]) был выработан [[глоссарий]] языка Форт, обозначенный как AST.01.

В феврале [[1978 год]]а в [[Утрехт]]е был принят стандарт FORTH-77, ориентированный на реализацию на [[микрокомпьютер]]ы.

В октябре [[1979 год]]а встреча на острове [[Санта-Каталина (остров, Калифорния)|Санта-Каталина]] ([[Калифорния]]) закончилась разработкой стандарта FORTH-79, который распространяется на ЭВМ всех типов.

Осенью [[1983 год]]а состоялась встреча по разработке следующего стандарта, утверждённого в 1984 году как FORTH-83. Стандарт Форт-83 отличается от стандарта Форт-79 некоторыми деталями, но не по существу.

В 1988 году в составе [[ACM]] была организована группа SIGFORTH<ref>{{Cite web |url=http://www.complang.tuwien.ac.at/anton/euroforth2006/papers/proceedings.pdf |title=22nd EuroForth Conference |access-date=2010-02-19 |archive-date=2008-12-05 |archive-url=https://web.archive.org/web/20081205044223/http://www.complang.tuwien.ac.at/anton/euroforth2006/papers/proceedings.pdf |deadlink=no }}</ref>; была и соответствующая Российская группа ACM (председатель — проф. С. Н. Баранов ([[Санкт-Петербург]], [[СПИИРАН]])). Сейчас SIGFORTH существует в составе более общей группы {{нп1|SIGPLAN||en|SIGPLAN}}.

В [[1994 год]]у после продолжительного согласования, в котором участвовали многие заинтересованные фирмы, был принят [[ANSI]] стандарт языка Форт.<ref>{{Cite web |url=http://forth.sourceforge.net/standard/dpans |title=DPANS’94<!-- Заголовок добавлен ботом --> |access-date=2007-07-22 |archive-date=2007-06-30 |archive-url=https://web.archive.org/web/20070630011550/http://forth.sourceforge.net/standard/dpans/ |deadlink=no }}</ref>

Текущий стандарт языка Форт был принят в 2012 году.<ref>{{Cite web|url=https://forth-standard.org/|title=Forth|website=forth-standard.org|access-date=2022-05-02|archive-date=2022-05-11|archive-url=https://web.archive.org/web/20220511015303/https://forth-standard.org/|deadlink=no}}</ref>

=== Дальнейшее развитие и примеры использования ===
Известный пример успешного применения Форта — его использование в программном обеспечении глубоководного спускаемого аппарата, при поисках «[[Титаник]]а» в [[1985 год]]у. Также Форт был применён в программном обеспечении спектрографа на [[Спейс шаттл|Шаттле]], в микромодулях управления искусственными спутниками Земли, для системы управления в [[Король Халид (аэропорт)|аэропорту Эр-Рияда]], [[Компьютерное зрение|системах компьютерного зрения]], автоматизации анализа крови и кардиологического контроля, карманных переводчиках.

Диалект языка Форт используется в [[OpenBoot]] — базовом программном обеспечении ЭВМ на базе процессоров [[SPARC]] и [[PowerPC]].

В начале [[1980-е|1980-x]] Джон Уорнок и Чак Гешке из [[Adobe Systems]] создали язык [[PostScript]]<ref>{{Cite web |url=http://www.adobe.com/products/postscript/resources.html |title=Adobe PostScript 3 — Resources<!-- Заголовок добавлен ботом --> |access-date=2006-12-02 |archive-date=2007-01-03 |archive-url=https://web.archive.org/web/20070103210037/http://www.adobe.com/products/postscript/resources.html |deadlink=no }}</ref>. Несмотря на сходство языков, Джон Уорнок отмечал<ref>{{Книга|автор=Федерико Бьянкуцци, Шейн Уорден|заглавие=Пионеры программирования. Диалоги с создателями наиболее популярных языков программирования = Masterminds of Programming: Conversations with the Creators of Major Programming Languages|ответственный=|год=2011|издание=|место=|издательство=Символ-Плюс|страницы=502|страниц=608|isbn=9785932861707|глава=Глава 16. PostScript}}</ref>, что Форт не оказал влияние на создание PostScript

Существуют процессоры и контроллеры, поддерживающие вычислительную модель языка на аппаратном уровне. Создано множество [[Открытое программное обеспечение|открытых]] реализаций Форта для различных аппаратных платформ. Отдельные фирмы (среди которых следует отметить прежде всего основанную Чарльзом Муром FORTH, Inc и британскую компанию MicroProcessor Engineering Ltd.<ref>{{Cite web |url=http://www.mpeforth.com/ |title=MPE — MicroProcessor Engineering Limited<!-- Заголовок добавлен ботом --> |access-date=2010-02-19 |archive-date=2010-01-05 |archive-url=https://web.archive.org/web/20100105150616/http://www.mpeforth.com/ |deadlink=no }}</ref>) поставляют различные по своим возможностям коммерческие версии языка.

Две домашние компьютерные игры от [[Electronic Arts]], созданные в 1980-х, были написаны на Форте: ''[[Worms?]]'' (1983)<ref>{{cite web |last=Maynard |first=David S. |title=David Maynard: Software Artist |url=https://www.software-artist.com/ |access-date=2021-06-27 |archive-date=2021-06-15 |archive-url=https://web.archive.org/web/20210615090403/https://www.software-artist.com/ |deadlink=no }}</ref> и ''[[Starflight]]'' (1986).<ref>{{cite web|last=Maher|first=Jimmy|title=Starflight|url=http://www.filfre.net/2014/10/starflight/|website=The Digital Antiquarian|date=2014-10-28|access-date=2017-05-23|archive-date=2017-04-25|archive-url=https://web.archive.org/web/20170425031952/http://www.filfre.net/2014/10/starflight/|deadlink=no}}</ref>
В качестве языка для системного программирования в [[Canon Cat]] (1987) использовался Форт.

Ежегодно проводятся конференции ЕвроФорт (EuroForth), в том числе в России, Англии, Австрии, Германии, Испании, Чехии (ранее в Чехословакии).<ref>{{Cite web |url=http://www.complang.tuwien.ac.at/anton/euroforth/ |title=EuroForth: European Forth Conference<!-- Заголовок добавлен ботом --> |access-date=2010-01-24 |archive-date=2010-06-16 |archive-url=https://web.archive.org/web/20100616232422/http://www.complang.tuwien.ac.at/anton/euroforth/ |deadlink=no }}</ref>

== Основные понятия классической Форт-системы ==
Основная часть Форт-системы — это [[связный список]] ''слов'', или ''словарь'', из которого слово вызывается по имени для выполнения специфических функций. [[Программирование]] на Форте состоит в определении новых слов на основе слов, определённых в словаре ранее. Как только новые слова скомпилированы в словарь, они не отличаются по форме от слов, которые в нём уже имелись. Описание слова в словаре называется ''статьёй''.
  
Структура «типичной» статьи словаря Форта:
* ''поле имени'' — содержит имя статьи (идентификатор слова) в виде строки со счётчиком, а также несколько флагов.
* ''поле связи'' — указатель на предыдущую статью.
* ''поле кода'' — указатель на код для интерпретации статьи.
* ''поле параметров'' — семантика слова (в зависимости от поля кода).

Условно статьи Форта можно разделить на две категории: ''низкоуровневые статьи'' и ''форт-статьи''. Статьи первого типа содержат в поле кода указатель на процедуру в кодах целевого процессора, непосредственно выполняющую семантику слова. В поле параметров таких статей располагаются передаваемые процедуре параметры, либо сам её код. Форт-статьи содержат в поле параметров указатели на другие статьи, а поле кода указывает на специальную процедуру, называемую ''интерпретатором ссылок''. На практике структура статьи зависит от реализации, но, как правило, похожа на рассмотренную выше. Принцип, используемый внутри поля параметров форт-статьи, называется [[шитый код]] ({{lang-en|threaded code}}), а интерпретатор ссылок — [[виртуальная машина|виртуальной Форт-машиной]].

Грамматически текст, обрабатываемый [[транслятор]]ом Форта, представляет собой последовательность ''лексем'' ({{lang-en|token}}), разделённых пробелами и символами конца строки. Транслятор входной строки выбирает очередной токен и производит его поиск в текущем словаре, причём поиск ведётся от более новых слов к старым. Если слово не найдено, предпринимается попытка интерпретировать токен в качестве записи числа, которое, в случае успеха, помещается на вершину стека. Если же токен соответствует слову Форта, анализируется текущее состояния флага ''compile'' Форт-системы. Если флаг сброшен, то слово исполняется — управление передаётся по указателю ''поля кода'' найденной статьи. Если флаг установлен, слово ''компилируется'', то есть указатель на его поле кода дописывается в текущую создаваемую статью. Если было оттранслировано число, оно снимается со стека и компилируется в ''литеральный код'', исполнение которого внутри словарной статьи помещает число на вершину стека. Кроме того, слова могут содержать флаг ''immediate'' («немедленный»), в этом случае они всегда исполняются.

Механизм передачи параметров между словами:
* через стек данных;
* через ячейки памяти;
* через именованные локальные переменные (стандарт 1994 года).

Язык предоставляет способ работы с памятью системы, как с линейной областью.

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

Всё вышесказанное относится к понятию Форт только в первом приближении. Форт — это не совсем язык программирования; вернее, он перекрывает понятие языка программирования. Форт в большей степени является виртуальной машиной и операционной системой ForthOS.<ref>{{Cite web |url=http://wiki.forth.org.ru/ForthOS |title=ForthWiki — ForthOS<!-- Заголовок добавлен ботом --> |access-date=2006-02-01 |archive-date=2005-08-30 |archive-url=https://web.archive.org/web/20050830015939/http://wiki.forth.org.ru/ForthOS |deadlink=no }}</ref>

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

== Типы кода Форта ==
В качестве машинного представления скомпилированной форт-программы используется тот или иной вид [[шитый код|шитого кода]].

При использовании ''подпрограммного кода'' получается машинный код, в котором, по сравнению с кодом, сгенерированном компилятором обычного языка программирования, где на единственный стек кладутся и переменные, и адреса возвратов из подпрограмм, отсутствуют операции по «перетаскиванию» параметров подпрограмм. В качестве стека возвратов используется основной стек процессора, стек данных организуется программно.

При использовании шитого кода, отличающегося от подпрограммного, определения Форта, состоящие только из машинного кода, называются ''примитивы''. В таком шитом коде часто стараются использовать основной стек процессора в качестве стека данных, а обращения к данным, лежащим на нём, в виде машинных команд <code>pop</code> и <code>push</code>.

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

Форт системы могут также использовать [[байт-код]], как логическое завершение развития косвенного шитого кода и свёрнутого шитого кода с адресной таблицей. В этом случае код программы (Форта) представляет собой последовательность байтов, или код некоторого придуманного виртуального процессора. Для исполнения этого кода должна существовать таблица на 256 адресов (2-байтовых, 4- или 8-байтовых), по которым расположены примитивы Форта или сложные определения.

Этот вариант сильно отличается от других видов кода и заслуживает особого внимания.
* Как и в косвенном шитом коде, примитивы Форта могут быть расположены в едином сегменте кода, защищённом от вмешательства, прошитом в ПЗУ. Примитивы зависят от конкретной платформы и могут быть выполнены в виде отдельного блока. Вся остальная часть Форта является [[Кроссплатформенное программное обеспечение|платформонезависимой]] и переносимой на любую машину.
* Вокруг таблицы на 256 определений группируется отдельный словарь, лексикон, предназначенный для конкретной задачи или группы задач. Эти 256 определений занимают места не более 64К, то есть таблица может содержать 2-байтовые адреса (смещения относительно начала словаря).
* Байтовый код позволяет расширить количество определений за счет древовидной структуры словарей до любой величины, сохраняя минимальные размеры программы.
* Байтовый код может быть стандартизован. Как и для [[Java]], такой код может быстро пересылаться по сети и исполняться на машинах с любой платформой.
* Байтовый код позволяет эмулировать любой процессор или программную систему и выполнять отладку разработанных для них программ.

== Примеры программ ==
<syntaxhighlight lang="forth">
.( Привет Мир) 
</syntaxhighlight>
Пример определения слова .SIGN, печатающего соответствующую фразу в зависимости от знака числа на вершине стека:
<syntaxhighlight lang="forth">
\ Напечатать знак числа
: .SIGN ( n -- )
   ?DUP 0= IF
     ." НОЛЬ"
   ELSE
     0> IF
     ." ПОЛОЖИТЕЛЬНОЕ ЧИСЛО"  ELSE
     ." ОТРИЦАТЕЛЬНОЕ ЧИСЛО"  THEN
   THEN
;
</syntaxhighlight>
Пример реального кода, создающего строчную константу в принятом в Форт виде (со счётчиком):
<syntaxhighlight lang="forth">
\ Создать "константу" из строки
: S-CONSTANT ( c-addr u "<spaces>name" -- )
   CREATE 
     DUP , 0 ?DO
       DUP C@ C, CHAR+
     LOOP DROP 0 C,
   DOES>
     DUP CELL+ SWAP @
;
</syntaxhighlight>

В этом примере создаётся определение слова <code>name</code> с помощью слова <code>CREATE</code>. При исполнении слова name на стек будет положен адрес указателя области памяти, который был во время компиляции слова. Для того, чтобы его можно было как-то использовать, туда записывается («компилируется» строка). При выполнении слова выполняются слова, указанные после слова <code>DOES&gt;</code>.

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

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

Примеры таких стандартных слов:

<code>[</code> — Временное переключение в режим исполнения (фактически, часто просто записывает 0 в переменную STATE).

<code>]</code> — Переключиться обратно в режим компиляции.

<code>LITERAL</code> — Компилировать число, в данный момент лежащее на вершине стека, как константу. Также является словом немедленного исполнения.

Пример кода, где используются эти слова:
<syntaxhighlight lang="forth">
\ Некоторый размер данных в килобайтах
16 CONSTANT size
 
\ Напечатать отчёт о пересчёте килобайтов в байты
: report ( -- )
   size . ."  килобайт эквивалентны "
   [ size 1024 * ] LITERAL . ." байтам"
;
</syntaxhighlight>

== Особенности языка Forth ==
{{нет ссылок в разделе|дата=2014-09-21}}
Одна из постоянных тем споров вокруг языка Форт — это место, которое он занимает среди «классических» императивных языков. Программы на Форте имеют крайне непривычный вид:

* Программа состоит из необычной последовательности слов, среди которых отсутствуют так называемые «ключевые» слова, которые распознаются и обрабатываются в других языках программирования специальным образом.

: С выходом серии фильмов «[[Звёздные войны]]» по этому поводу появилась шутка, ставшая ныне классической, которая хорошо иллюстрирует данную особенность Форта:
{{Начало цитаты}}<poem>
Йоды магистра тайна речи раскрыта:
Старым Форта программистом был он просто.
</poem>
{{oq|en|<poem>The mistery of Yoda’s speech uncovered is:
Just an old Forth programmer Yoda was.<ref>{{Cite web |url=http://www.ogre3d.org/forums/viewtopic.php?p=254640#p254640 |title=Ориджин пользователя Aquatix |access-date=2012-08-12 |archive-date=2014-02-09 |archive-url=https://web.archive.org/web/20140209184606/http://www.ogre3d.org/forums/viewtopic.php?p=254640#p254640 |deadlink=no }}</ref></poem>}}
{{конец цитаты}}
* Приведённый пример заодно указывает на уникальную особенность Форта: отсутствие списка параметров в скобках и возможность программировать на родном языке. Использование словарных конструкций родного языка позволяет сделать программу понятной, что повышает её надёжность {{Нет АИ|27|4|2015}}.
* «[[Обратная польская запись]]» арифметических выражений и наличие нескольких стеков.
* Двойственная природа компилятора Форта. Нельзя утверждать однозначно, является ли Форт компилятором или интерпретатором. Практически всегда его можно использовать в двух режимах, за исключением редких случаев вроде «целевой компиляции» (трансляции в машинный код программы для системы с иной архитектурой).
* [[Система типов#Типизированные и бестиповые языки|Отсутствие системы типов]]. Подобно языкам [[ассемблер]]а, в Форте нет встроенной системы типов. Нет возможности узнать, что лежит на вершине стека — число со знаком, число без знака, указатель на строку, символ, или два числа, рассматриваемых как одно длинное число. Контроль типов возлагается на программиста. При этом используются специальные наборы слов (например, запись и чтение ячеек памяти производят словами <code>!</code> и <code>@</code>, а символов — словами <code>C!</code> и <code>C@</code>), некоторые сущности выносятся в специальные стеки (например, стек чисел с плавающей запятой, согласно стандарту ANSI FORTH 94; он может быть, а может и не быть, реализован с помощью основного стека).

Эти особенности и определяют преимущества и недостатки языка Форт:

* Опытный программист, знакомый с системой команд и архитектурой процессора, может написать «ядро» форт-системы за несколько дней.
* Свобода, предоставляемая программисту, требует сильного самоконтроля. Входной порог для программирования на Форте ниже, чем у классических языков программирования, но требует привыкания и понимания не только возможностей и особенностей синтаксиса Форта, но, также, понимания философии, лежащей в его основе.
* Форт не поддерживает никакую парадигму программирования и поддерживает их все одновременно. Написать набор слов для организации ООП в программе на Форте (а их может быть одновременно несколько и они будут отлично уживаться вместе) гораздо проще, чем решить, какие возможности от этого набора слов требуются.
* Разбиение программы на множество мелких слов позволяет легко и быстро проверять их по отдельности, передавая им нужные наборы входных параметров и контролируя то, что остаётся на стеке. Фактически, это означает, что для тестирования какого-то компонента программы можно не загружать все зависимые компоненты целиком.
* Большинство реализаций Форта позволяют сделать декомпиляцию программы. Полученный текст мало отличается от исходного.
* Форт позволяет реализовать любую технологию программирования, доступную в других языках и системах. В нём также допустимы приёмы, запрещённые в других языках (например — самомодификация кода). Устранение негативных последствий этих приёмов путём создания правильного лексикона, стимулирующего грамотную методику их использования, также возложено на программиста.
* Размер кода Форта для 16-разрядных систем, при грамотном написании программы, иногда в 10-20 раз меньше кода, скомпилированного из программы на Си. Для 32-разрядных систем этот разрыв ещё больше. В операционных системах общий выигрыш может составлять уже сотни, а то и тысячи крат. Причина очень простая — готовая задача на Форте имеет размер несколько байт, все вспомогательные подпрограммы реализованы в виде определений, доступных всем. Система на Форте вместится в процессор, в который другие системы влезть в принципе не способны.
* Синхронизация процессов и потоков в многозадачных системах, переключение контекста, реализация доступа к ограниченным ресурсам — сложнейшие проблемы при написании ОС. Для поддержки этих возможностей даже создаются специальные команды в микропроцессорах. Для интерпретатора это вообще не проблема, поскольку он эмулирует любой процессор и любую необходимую команду.

Возможно, что на самом деле больше всего развитию Форта препятствует «тяжёлое наследство», пришедшее от машин с низкими возможностями, для которых он изначально создавался. В стандарте ANSI FORTH 94 существуют, например, следующие особенности:

* Переносимая программа должна предполагать, что стек чисел с плавающей запятой может быть реализован с использованием основного стека. К счастью, для большинства современных компиляторов это не так. Но сам факт наличия такого пункта в стандарте создаёт определённые неудобства. При программировании с активным использованием арифметики с плавающей точкой, эту норму стандарта традиционно игнорируют.
* Аналогичная норма существует относительно стека потока управления. Здесь всё не так просто, так как часто это именно так и есть — в процессе компиляции стек используется самим компилятором. В абсолютном большинстве случаев никакого влияния на программу это не оказывает, но про саму особенность надо помнить. Например, если вы хотите в процессе компиляции вычислить какое-то число, за пределами начала определения, а потом вставить его в слово как константу, то для этого придётся использовать какой-либо обходной путь.
* Определения многих слов в стандарте слишком низкоуровневые. Например, слово <code>2*</code> производит не умножение на два, как следует из его названия, а «смещает число на один бит к старшему двоичному разряду, заполняя младший бит нулём». Конечно, на большинстве современных машин — это одно и то же, но сам факт использования особенностей конкретной архитектуры настораживает. (Существуют также более очевидные стандартные слова для сдвига битов — <code>LSHIFT</code> и <code>RSHIFT</code>.)

Многие из этих особенностей — следствие того, что на момент принятия стандарта существовало множество плохо совместимых Форт-систем, которые базировались на двух частично различающихся стандартах 1979 и 1983 годов. <!--В настоящий момент (июль 2009 года?) происходит обсуждение принятия европейского стандарта Форта.{{нет АИ|7|07|2009}} Перспективы этого начинания пока не ясны.-->

== См. также ==
* [[Реализации языка Forth]] <!-- написать статью список, куда включить всякое, что недотягивает до значимости -->
* [[Языково-ориентированное программирование]]
* [[Стек]]
* [[Стек вызовов]]
* [[Стековый язык]]
* [[Фортран]]
; Диалекты
* [[colorForth]]
* [[Factor (язык программирования)]]
; Приложения
* [[Axiom Development Kit]]

== Примечания ==
{{примечания}}

== Литература ==
* {{статья
 |автор         = Баранов С. Н., Колодин М. Ю.
 |заглавие      = Феномен форта
 |место         = Новосибирск
 |издательство  = ВО «Наука». Сибирская издательская фирма
 |год           = 1995
 |издание       = Системная информатика
 |выпуск = 4
 |страницы      = 193—291
 |isbn          = 5-02-030678-9
}}
* {{книга
|автор=Баранов С. Н., Ноздрунов Н. Р.
|заглавие=Язык Форт и его реализации
|место={{Л.}}
|издательство=Машиностроение
|год=1988
|страниц=157
|серия=ЭВМ в производстве
|isbn=5-217-00324-3
|тираж=100000
}}
* {{книга
 |автор         = Leo Brodie.
 |заглавие         = Thinking Forth
 |ссылка         = http://thinking-forth.sourceforge.net/
 |isbn         = 0-9764587-0-5
 }} {{Wayback|url=http://thinking-forth.sourceforge.net/ |date=20051216163615 }}
* {{книга
|автор=Броуди Л.
|заглавие=Начальный курс программирования на Форте
|оригинал=Starting Forth. An introduction to the Forth language and operating system for beginners and professionals
|ответственный=Пер. с англ.; предисл. И. В. Романовского
|место={{М.}}
|издательство=Финансы и статистика
|год=1990
|страниц=352
|isbn=5-279-00252-6
|тираж=40000
}}
* {{книга
 |автор         = Броуди Л.
 |заглавие      = Способ мышления — Форт
 |ссылка = http://www.enet.ru/win/cherezov/brodie1.html
}}
* {{книга
 |автор         = Бураго А. Ю., Кириллин В. А., Романовский И. В.
 |заглавие      = Форт — язык для микропроцессоров
 |серия         = В помощь лектору
 |издательство  = Общество «Знание», Ленинградская организация
 |год           = 1989
 |страниц       = 36
 |тираж = 26000
}}
* {{книга
 |автор         = Дьяконов В. П.
 |заглавие      = Форт-системы программирования персональных ЭВМ
 |место         = {{М.}}
 |издательство  = Наука
 |год           = 1992
 |страниц       = 352
 |isbn          = 5-02-014460-6
}}
* {{книга
 |автор         = Келли М., Спайс Н.
 |заглавие      = Язык программирования Форт
 |ответственный = Пер. с англ
 |место         = {{М.}}
 |издательство  = Радио и связь
 |год           = 1993
 |страниц       = 320
 |isbn          = 5-256-00438-7
}}
* {{книга
|автор=Семёнов Ю. А.
|заглавие=Программирование на языке Форт
|место={{М.}}
|издательство=Радио и связь
|од=1991
|страниц=240
|isbn=5-256-00547-2
|тираж=50000
}}
* {{книга
 |автор         = Таунсенд К., Фохт Д.
 |заглавие      = Проектирование и программная реализация экспертных систем на персональных ЭВМ
 |ответственный = Пер. с англ. В. А. Кондратенко, С. В. Трубицына
 |место         = {{М.}}
 |издательство  = Финансы и статистика
 |год           = 1990
 |страниц       = 320
 |isbn          = 5-279-00255-0 (СССР) ISBN 0-8306-2692-1 (США)
}}
;; Журнальные публикации
* {{статья|автор=Stephen Pelc|заглавие=Modern Forth|ссылка=http://www.drdobbs.com/embedded-systems/modern-forth/210600604?pgno=1|издание=[[Dr. Dobb's Journal]]|год=2008, Сентябрь}}

== Ссылки ==
* [http://www.forth.org/ сайт Forth Interst Group]{{ref-en}}
* [http://www.forth.com/ сайт компании Forth Inc.]{{ref-en}}
* [http://www.complang.tuwien.ac.at/anton/euroforth/ Конференция ЕвроФорт, есть все доклады]
* [https://groups.google.com/forum/#!forum/comp.lang.forth/ Google Group]

; Стандарт

* [http://wiki.forth.org.ru/УчебникиФорта#0 Русский перевод стандарта ANS FORTH 94] (выполнен Сергеем Кадочниковым, в этом переводе известны несколько ошибок, например в описании слова SEARCH)

; Русскоязычные ресурсы

* [http://forth.org.ru/ Сайт русскоязычных пользователей языка Forth]
* [http://fforum.winglion.ru/index.php Активный Форум по языку Форт на winglion]
* [http://forum.msyst.ru/index.php Активный Форум по языку Форт на msyst]
* [http://www.wrk.ru/forums/viewforum.php?id=29 Активный Форум по языку Форт ] на www.wrk.ru
* [https://groups.google.com/forum/#!forum/fido7.su.forth fido7.su.forth]
* [http://chernykh.net/content/view/226/239/ История языка Форт]
* [http://www.enet.ru/win/cherezov/forth_ideas.html Идеи языка Форт (от разработчика eserv)]
* [http://www.forth.ru Сайт А.Ларионова]

; Коллекции ссылок на форт-ресурсы
* [http://wiki.forthfreak.net/ Вики-сайт, посвящённый форт-ресурсам]
* [http://forth.sourceforge.net/ Коллекция ссылок на ресуры по Форт на sourceforge.net]

{{rq|refless}}
{{Языки программирования}}

[[Категория:Конкатенативные языки программирования]]
[[Категория:Стековые языки программирования]]
[[Категория:Языки программирования семейства Форта]]
[[Категория:Языки программирования с расширяемым синтаксисом]]