Слово −

Материал из ПМК вики
Перейти к: навигация, поиск

(вычесть, читается «минус») — стандартное слово Каллисто. Вычитает десятичное число, находящееся на вершине стека, из числа, лежащего в стеке следующим.

−              ( y x -- x1 )                   Вычесть. x1 ← y − x
Пример работы слова −

Слово − вычитает x из y, кладёт в стек разность x1.

Ввод слова −[править]

В режиме NUM нажмите белую клавишу   

− и F− в стандарте ANS Forth[править]

 6.1.0160   −                                  "minus"                      CORE
            ( n1|u1 n2|u2 -- n3|u3 )
            Вычитает n2|u2 из n1|u1, и возвращает разницу n3|u3.

        См.: 3.3.3.1 Выравнивание адреса.

 12.6.1.1425   F-                          "f-minus"                    FLOATING
            ( F: r1 r2 -- r3 ) or ( r1 r2 -- r3 )
            Вычитает r2 из r1, возвращает r3.

История[править]

Каллистянское слово − является одновременно и стандартным, входя в обязательный список слов CORE Форта-94, и традиционным — присутствуя во входных языках калькуляторов ещё со времён Б3-34 и Б3-21.

В Форте слово − является одним из самых древних слов. Также каллистянское слово − выполняет функции слова F− из действующего стандарта Форта 1994 года.

Слово − появилось в программе CURVE, написанной Чак Муром на Алголе для Burroughs B5500 в 1964 году при работе на Национальную ускорительную лабораторию SLAC Стэнфордского университета.

В 1970 году слово − работало в 2К×48бит версии Форта на Burroughs B-5500.

В colorForth слово − используется для реализации побитового отрицания. Чак Мур больше не считает арифметику чем-то настолько важным, чтобы влиять на язык программирования.

Одноимённая команда − использовалась в советских ПМК, откуда в 2007 году перешла в систему команд ЭКВМ. Сам знак «−» для обозначения операции вычитания взят из арифметики. Впервые знак «−» появился в 1489 году, в учебнике «Быстрый и приятный счёт для всех торговцев» немецкого математика Иоганна Видмана. До этого вычитание обозначали латинской буквой m (minus), часто помечая эту букву тильдой.

Порядок аргументов слова − (вычитаемое на вершине стека, уменьшаемое сразу под ним) одинаков в Каллисто, Форте и языке МК. Он взят из обратной польской записи, разработанной в 1954 году (англ. Burks, A. W.; Warren, D. W.; Wright, J. B. (1954). "An Analysis of a Logical Machine Using Parenthesis-Free Notation") на основе польской (префиксной) записи, предложенной польским математиком Яном Лукасевичем в 1924 году.

− в предыдущем стандарте Forth-83 (англ.)[править]

     -            w1 w2 -- w3                   79             "minus"
          w3 is the result of subtracting w2 from w1.

− в стандарте Forth-79 (англ.)[править]

-              n1 n2 -- n3                   134            "minus"
    Subtract n2 from n1 and leave the difference n3.

− в fig-FORTH Release 1 glossary, май 1979 (англ.)[править]

-             n1  n2  ---  diff               L0
       Leave the difference of n1-n2.

Реализация[править]

Слово − является «обёрткой» вокруг команды ЭКВМ команды ЭКВМ − «вычитание», вызывающей переполнение при результате, по модулю больше либо равном 10100.

Обработка этой ошибки производится встроенной программой. Например, последовательность слов  5E99 −5E99 −  вызывает аварийный останов Каллисто с сообщением «Переполнение» в строке комментариев. Можно ввести с клавиатуры произвольное число в качестве значения «10100» и вернуться в Каллисто, нажав  С/П . Подробнее см. статью Авост Каллисто.

В случае аварийного останова рекомендуется произвести «холодную перезагрузку» Каллисто с удалением всех введённых слов, нажав последовательно клавиши  В/О   С/П .

Слово − также может использоваться для вычитания целых чисел, как в Форте. В этом случае разность x3 — также целое число, если её модуль не превышает 1012.

1339 ;#Minus
1340 ; −                ( y x −− x1 )                        Вычесть. x1 := y−x
1341 LSUB:           .DB     1
1342                 .TEXT   "−"                     ; ( a b −− a−b )
1343                 .DW     LPLUS
1344 SUB:            .DW     JSUB                    ; Вычитание x из y.
1345 JSUB:           RM3 MB 1 + MA M3
1346                 KRMA KRMB − KMA                 ; Обёртка вокруг −
1347                 KGOTO9

Реализации из SP-Forth 4.20:

CODE - ( n1|u1 n2|u2 -- n3|u3 ) \ 94
\ Вычесть n2|u2 из n1|u1 и получить разность n3|u3.
     NEG EAX
     ADD EAX, [EBP]
     LEA EBP, 4 [EBP]
     RET
END-CODE
CODE F-       \ DE E9
       FSUBP ST(1), ST
       RET
END-CODE

Советская реализация[править]

Слово − присутствовало в FORTH ИТЭФ и ФОРТ-ЕС, где работало только с целыми числами.

В ядре ФОРТ-ЕС слово − определялось через примитив +, вот его описание и определение:

  -           W1,W2->W3                 ВЫЧЕСТЬ W2 ИЗ W1  17

                     Экран номер 17
( 31.03.86   NEGATE ABS + - 1+ 1- 2+ 2- +!  1+!  )

: -   ( W1,W2->W3)   NEGATE + ;

В FORTH ИТЭФ слово − было примитивом:

            HEAD     201Q,,255Q,SUB                       ; -
            POP  CX
            POP  AX
            SUB  AX, CX
            PUSH AX
            NEXT

Ссылки[править]