Слово −

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

−              ( 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.

Реализация

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

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

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

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

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

Ссылки

• Исходный текст слова − в Каллисто Классик 1.0
• См. слова +, 1−, 2−, ×, ÷
• См. также символ −
• См. статьи «Вычитание» и «Минус» на Википедии
• См. слова − (minus) и F− (f-minus) в стандарте ANS Forth (англ.)
• См. также слова − (minus) и F− (f-minus) в черновике Forth 200x (англ.)
• См. слово − в главе «Выполнение арифметических операций» книги Л.Броуди «Начальный курс программирования на языке Форт»
• См. также слово − в главах «How to Get Results» и «Decisions, Decisions…» книги Leo Brodie «Starting Forth» (англ.)