Слово −

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

−              ( x1 x2 -- x3 )                 Вычесть. x3 ← x1 − x2

Пример работы слова −

Вычитает x2 из x1, кладёт в стек разность x3.

Ввод слова −

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

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

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

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

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

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

− в стандарте ANS Forth

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

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

F− в стандарте ANS Forth

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

− в предыдущем стандарте 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.

История

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

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

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

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

Одноимённая команда − использовалась в советских ПМК, откуда перешла в систему команд ЭКВМ. Сам знак «−» для обозначения операции вычитания взят из арифметики, куда он был введён немецким математиком Иоганном Видманом в конце XV века.

Реализация

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

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