INTERPRET

INTERPRET (интерпретировать) — встроенное слово Каллисто. Текстовый интерпретатор.

INTERPRET      ( −− )                               Интерпретировать входной поток.

Интерпретирует последовательность слов, пока во входном потоке что-то есть.

Ввод слова INTERPRET

В режиме ЛАТ последовательно нажмите клавиши  7   4   2   ИП   ×   6   ×   ИП   2 

Детали реализации

Выход из бесконечного цикла BEGIN…AGAIN происходит необычным образом. Его обеспечивает служебное «пустое слово» через манипуляцию стеком возвратов, когда исчерпывается входной поток.

История

Слово INTERPRET появилось в 1958 году в самой первой версии интерпретатора Форта, написанного Чак Муром на Фортране для IBM EDPM 704 для САО. Тогда оно ещё не называлось INTERPRET, так в то время команды Форта кодировались числами.

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

Этот интерпретатор использовал закодированную на Фортране конструкцию IF … ELSE IF, в поисках совпадения одного символа.

В программе CURVE, написанной Чак Муром для Burroughs B5500 в 1964 году (Национальная ускорительная лаборатория SLAC, Стэнфордский университет), интерпретатор на Алголе с помощью IF… ELSE IF разбивал входной поток на 6-символьные входные слова, называвшиеся ATOM (из Лиспа).

В 1966 году Чак Мур, будучи гуру MCP на 5500, работал в Realtime Systems, Inc (RSI). В то время интерпретатор принимал слова, первые 6 символов которых были значащими, так как размер слова 5500 составлял 48 бит.

В 1968 году Чак Мур работал в Mohasco Industries, Inc (Amsterdam NY, англ.). Первая версия интерпретатора, получившая название FORTH, заработала на миникомпьютере IBM 1130 с графическим дисплеем 2250 (16-битный процессор с ОЗУ 8К, дисководом, клавиатурой, принтером и ридером/панчером перфокарт). Первый FORTH знал слово INTERPRET под именем QUERY

В 1994 году стандарт ANS заменил слово INTERPRET на EVALUATE

Иногда текстовый интерпретатор называют «внешним» (англ. outer) интерпретатором, в противоположность адресному («внутреннему») интерпретатору.

INTERPRET в предыдущем стандарте Forth-83 (англ.)

     INTERPRET    --                            M,83
          Begin text interpretation at the character indexed by the
          contents of >IN relative to the block number contained in
          BLK , continuing until the input stream is exhausted.  If
          BLK contains zero, interpret characters from the text input
          buffer.  See:  "input stream"

INTERPRET в стандарте Forth-79 (англ.)

INTERPRET
    Begin interpretation at the character indexed by the  contents
    of  >IN  relative  to  the  block  number  contained  in  BLK,
    continuing  until  the  input stream  is  exhausted.   If  BLK
    contains  zero,  interpret characters from the terminal  input
    buffer.

INTERPRET в fig-FORTH Release 1 glossary, май 1979 (англ.)

INTERPRET
       The outer text interpreter which sequentially executes or compiles
       text from the input stream (terminal or disc) depending on STATE. If
       the word name cannot be found after a search of CONTEXT and then
       CURRENT it is converted to a number according to the current base.
       That also failing, an error message echoing the name with a " ?"
       will be given.
       Text input will be taken according to the convention for WORD. If a
       decimal point is found as part of a number, a double number value
       will be left. The decimal point has no other purpose than to force
       this action.
       See NUMBER.

Реализация

Юрий Семёнов приводит следующее определение слова INTERPRET (стр. 140):

 : INTERPRET BEGIN               ( начало бесконечного цикла)
          FINDN           ( поиск очередного имени в словаре)
             IF                         ( если слово найдено)
               STATE @ <        ( в стеке байт длины, STATE ;
                            проверяется, не является ли слово
                          оператором немедленного исполнения)
                IF                      ( если обычное слово)
                 NAME> ,        ( запись CFA найденного слова
                                  в новое описание)
                ELSE    ( если слово немедленного исполнения)
                     NAME> EXECUTE    ( исполнение найденного
                                        слова)
                THEN
             ELSE      ( если слово не найдено, проверяется -
                         может быть это число ?)
                  HERE NUMBER DPL @ 1+ ( преобразование пос-
                         ледовательности кодов ASCII в число)
               IF                 ( если число двойной длины)
                  DLITERAL  ( запись последовательности "LIT,
                              число" в описание нового слова)
               ELSE DROP LITERAL    ( запись в описание числа
                                      одинарной длины)
               THEN
             THEN
             ?STACK              ( указатель стека в норме ?)
             AGAIN ;

У Баранова-Ноздрунова определение слова INTERPRET выглядит так (стр. 79):

: INTERPRET  ( ---> )  BEGIN  BL  WORD  FINDN
  ?DUP  IF  ( Проверить признак IMMEDIATE)
  1+  IF  NAME>  EXECUTE
      ELSE  NAME>  STATE  @  IF  ,  ELSE  EXECUTE  THEN
      THEN
  ELSE  ( Может быть это число?)
      NUMBER  DPL  @  1+
      IF  [COMPILE]  2LITERAL
      ELSE  DROP  [COMPILE]  LITERAL  THEN
 THEN  AGAIN  ;

Описание и определение слова INTERPRET в ядре ФОРТ-ЕС:

INTERPRET + -> ИНТЕРПРЕТИРОВАТЬ ВХОДНОЙ ПОТОК                   40

                     Экран номер 40
( 31.03.84      EXPECT  OUERY INTERPRET  ФОРТ-СИСТЕМА  X )

: INTERPRET ( ->) BEGIN -FIND ?DUP IF
   1+ IF EXECUTE ELSE STATE @ IF , ELSE EXECUTE THEN  THEN
   ELSE NUMBER DPL @ 1+ IF [COMPILE] 2LITERAL
    ELSE DROP [COMPILE] LITERAL THEN THEN ?STACK AGAIN ;

Определение слова INTERPRET в FORTH ИТЭФ:

             HEAD    211Q,'INTERPRE',324Q,INTER,$COL      ; INTERPRET
   IT1:      DW  DFIND,ZBRAN,IT3-$,STATE,AT,LESS
             DW  ZBRAN,IT2-$,COMMA,BRAN,IT5-$
   IT2:      DW  EXEC,BRAN,IT5-$
   IT3:      DW  HERE,NUMB,DPL,AT,ONEP,ZBRAN,IT4-$,DLITE,BRAN,IT5-$
   IT4:      DW  DROP,LITER
   IT5:      DW  QSTAC,BRAN,IT1-$

Ссылки

• Исходный текст слова INTERPRET в Каллисто Классик 1.0
• ОСНОВЫ ФОРТА в книге Л.Броуди «Начальный курс программирования на языке Форт»
• ЧИСЛО ТИПОВ ЧИСЕЛ в книге Л.Броуди «Начальный курс программирования на языке Форт»
• ФУНКЦИОНИРОВАНИЕ ФОРТ-СИСТЕМЫ в книге Л.Броуди «Начальный курс программирования на языке Форт»
• РАСШИРЕНИЕ КОМПИЛЯТОРА: ОПРЕДЕЛЯЮЩИЕ И КОМПИЛИРУЮЩИЕ СЛОВА в книге Л.Броуди «Начальный курс программирования на языке Форт»
• Главы Fundamental Forth, Under the Hood и Extending the Compiler в книге Leo Brodie Starting Forth (англ.)

У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их.

Это заготовка статьи. Вы можете помочь проекту, дополнив её.