Сергей Николаевич Баранов , Николай Романович Ноздрунов - Язык Форт и его реализации

исследованиями для традиционных языков [13, 14, 19].
 
В целом цикл разработки программного продукта остается неизменным: анализ, проектирование, программирование, отладка. Однако лишь на первых двух этапах применяется традиционная технология "сверху - вниз". Программирование и отладка ведутся по методу "снизу - вверх". Благодаря этому отпадает необходимость в модулях-заглушках и в повторных тестированиях всего комплекса программ при заменах заглушек на действительные модули, что сокращает время прохождения всего цикла и позволяет выполнить его несколько раз за то же время. При разработке форт-программ наблюдается тенденция к вычленению относительно замкнутых групп модулей, каждая из которых проходит свой цикл разработки. При этом обычно размер модуля составляет от 1 до 3 строк текста, что резко контрастирует с традиционными языками. Для целей промышленного производства программ сочетание методологии Форта с существующими [14] представляется весьма перспективным, однако практические разработки в этой области пока не известны.
 
В нашей стране также шли поиски принципов, аналогичных тем, которые ныне определяют язык Форт, в большей степени исходя из теоретических основ программирования [10]. Эти работы привели к созданию интересных систем ДССП [9], КОМФОРТ [12], системы программирования на основе понятия "рабочей смеси" [5, 17] и других. Интерес к языку Форт возрастал по мере получения сведений о нем и достижения собственных результатов в этой области [2, 6, 18, 20]. Усилиями энтузиастов созданы самостоятельные реализации Форта, которые получают распространение наряду с заимствованными реализациями (см. приложение 2). Язык Форт включается в программное обеспечение школьных компьютеров. Ведутся работы по аппаратной реализации этого языка [12]. В 1985 г. в рамках Рабочей группы по технологии программирования микропроцессорной техники при Комиссии по технологии программирования при ГКНТ была создана целевая подгруппа по языку Форт и родственным системам, задачей которой является обобщение и распространение опыта практического применения этих средств в различных областях.
 
С 1978 г. в США выходит журнал "Форт Дименшнз" (FORTH Dimensions) - основное периодическое издание для массовых пользователей языка Форт. С 1979 г. проводятся ежегодные конференции, материалы которых, отражающие последние достижения в развитии форт-подхода, публикуются в виде сборников. С 1983 г. издается журнал "Джорнал оф Форт Эпликейшн энд Рисёч" (The Journal of FORTH Application and Research, шифр ГПНТБ - V1467) - издание для программистов-профессионалов. Журналы "Байт" (BYTE, шифр B1841) и "Д-р Доббз Джорнал" (Dr. Dobb's Journal, шифр W9464) посвящают языку Форт специальные выпуски.
 
До сих пор знакомству широких кругов программистов нашей страны с этим языком препятствовало отсутствие сколько-нибудь обстоятельных публикаций о нем на русском языке. Данная книга является первой такой публикацией и написана с целью дать подробное и по возможности простое введение в язык Форт. Мы надеемся, что знакомство с интересными принципами этого языка позволит читателям по-новому взглянуть на свою программистскую практику и будет полезно во всех отношениях.
 
Авторы выражают глубокую благодарность Г.С. Кудрявцевой, О.Н. Колесниковой и М.Б. Округину за помощь в подготовке рукописи. Отзывы о книге и предложения можно направлять по адресу: 191065, Ленинград, ул. Дзержинского, 10, ЛО издательства "Машиностроение".
Глава 1 ВВЕДЕНИЕ В ФОРТ
 
1.1 Основные понятия
 
Приступая к изучению нового для нас языка программирования, мы прежде всего задаемся вопросами: какие конструкции есть в этом языке (какова морфология), как они записываются (каков синтаксис) и что означают (какова семантика). Например, в широко распространенном языке Паскаль имеется около двадцати конструкций (идентификатор, число без знака, присваивание, условный оператор и др.), синтаксис которых обычно задают с помощью граф-схем или порождающих правил, а семантику объясняют на основе той или иной машинно-независимой модели вычислений. Часть языка ассемблера любой ЭВМ, предназначенная для записи машинных команд, содержит по одной конструкции на каждую команду. Запись такой конструкции обычно представляет отдельную строку и состоит из мнемонического обозначения команды и размещения операндов, а семантика определяется в терминах реальных действий, которые данная команда выполняет над ячейками памяти, регистрами и другими --">