Редактирование: Слово −

'''−''' (вычесть, читается «минус») — стандартное слово [[Каллисто]]. Вычитает [[десятичное число]], находящееся на вершине [[Стек данных|стека]], из числа, лежащего в [[Стек данных|стеке]] следующим.
 −              ( y x -- x1 )                   Вычесть. x1 ← y − x
[[Файл:CallistoConstVar.png|thumb|right|264px|Пример работы слова −]]
Слово − вычитает x из y, кладёт в [[Стек данных|стек]] разность x1.

== Ввод слова − ==
В [[Режим NUM|режиме NUM]] нажмите [[Клавиша -|белую клавишу {{Серая клавиша|−}}]]

== − и F− в стандарте ANS Forth ==
<PRE>
 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.
</PRE>

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

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

Слово − появилось в программе CURVE, написанной Чак Муром на [https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D0%BB Алголе] для Burroughs B5500 в 1964 году при работе на [https://ru.wikipedia.org/wiki/%D0%9D%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%83%D1%81%D0%BA%D0%BE%D1%80%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%B0%D0%B1%D0%BE%D1%80%D0%B0%D1%82%D0%BE%D1%80%D0%B8%D1%8F_SLAC Национальную ускорительную лабораторию SLAC] [https://ru.wikipedia.org/wiki/%D0%A1%D1%82%D1%8D%D0%BD%D1%84%D0%BE%D1%80%D0%B4%D1%81%D0%BA%D0%B8%D0%B9_%D1%83%D0%BD%D0%B8%D0%B2%D0%B5%D1%80%D1%81%D0%B8%D1%82%D0%B5%D1%82 Стэнфордского университета].

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

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

Одноимённая [[−|команда −]] использовалась в советских ПМК, откуда в 2007 году перешла в систему команд ЭКВМ. Сам знак «−» для обозначения операции вычитания взят из арифметики. Впервые знак «−» появился в 1489 году, в учебнике «Быстрый и приятный счёт для всех торговцев» немецкого математика [https://ru.wikipedia.org/wiki/%D0%92%D0%B8%D0%B4%D0%BC%D0%B0%D0%BD,_%D0%98%D0%BE%D0%B3%D0%B0%D0%BD%D0%BD Иоганна Видмана]. До этого вычитание обозначали [[Символ с кодом 109|латинской буквой m]] (minus), часто помечая эту букву [[~|тильдой]].

Порядок аргументов слова − (вычитаемое на вершине [[Стек данных|стека]], уменьшаемое сразу под ним) одинаков в [[Каллисто]], Форте и [[Язык МК|языке МК]]. Он взят из [https://ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%80%D0%B0%D1%82%D0%BD%D0%B0%D1%8F_%D0%BF%D0%BE%D0%BB%D1%8C%D1%81%D0%BA%D0%B0%D1%8F_%D0%B7%D0%B0%D0%BF%D0%B8%D1%81%D1%8C обратной польской записи], разработанной в 1954 году (''англ.'' [https://www.jstor.org/stable/2001990 Burks, A. W.; Warren, D. W.; Wright, J. B. (1954). "An Analysis of a Logical Machine Using Parenthesis-Free Notation"]) на основе польской (префиксной) записи, предложенной польским математиком [https://ru.wikipedia.org/wiki/%D0%9B%D1%83%D0%BA%D0%B0%D1%81%D0%B5%D0%B2%D0%B8%D1%87,_%D0%AF%D0%BD Яном Лукасевичем] в 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<sup>100</sup>.

Обработка этой ошибки производится [[Встроенная программа|встроенной программой]]. Например, последовательность слов {{Текст на индикаторе|5E99 −5E99 −}} вызывает [[аварийный останов]] [[Каллисто]] с сообщением «Переполнение» в [[Строка комментариев|строке комментариев]]. Можно ввести с клавиатуры произвольное число в качестве значения «10<sup>100</sup>» и вернуться в [[Каллисто]], нажав [[Клавиша С/П|{{Чёрная клавиша|С/П}}]].  Подробнее см. статью [[Авост Каллисто]].

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

Слово − также может использоваться для вычитания целых чисел, как в Форте. В этом случае разность x3 — также целое число, если её модуль не превышает 10<sup>12</sup>.
<pre>
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
</pre>

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

В ядре ФОРТ-ЕС слово − определялось через [[Слово +|примитив +]], вот его описание и определение:
<PRE>
  -           W1,W2->W3                 ВЫЧЕСТЬ W2 ИЗ W1  17

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

: -   ( W1,W2->W3)   NEGATE + ;
</PRE>
В FORTH ИТЭФ слово − было [[примитив]]ом:
<PRE>
            HEAD     201Q,,255Q,SUB                       ; -
            POP  CX
            POP  AX
            SUB  AX, CX
            PUSH AX
            NEXT
</PRE>

== Ссылки ==
* {{Исходник|Minus|−}}
* См. слова [[Слово +|+]], [[1−]], [[2−]], [[Слово ×|×]], [[Слово ÷|÷]]
* См. также [[Символ -|символ −]]
* См. статьи [http://ru.wikipedia.org/wiki/%D0%92%D1%8B%D1%87%D0%B8%D1%82%D0%B0%D0%BD%D0%B8%D0%B5 «Вычитание»] и [https://ru.wikipedia.org/wiki/%D0%9C%D0%B8%D0%BD%D1%83%D1%81 «Минус»] на Википедии
* См. слова [http://forth.sourceforge.net/standard/dpans/dpans6.htm#6.1.0160 − (minus)] и [http://forth.sourceforge.net/standard/dpans/dpans12.htm#12.6.1.1425 F− (f-minus)] в стандарте ANS Forth ''(англ.)''
* См. также слова [http://forth-standard.org/standard/core/Minus − (minus)] и [http://forth-standard.org/standard/float/FMinus F− (f-minus)] в черновике Forth 200x ''(англ.)''
* См. слово − в главе [http://gudleifr.h1.ru/cgi-bin/pilo.cgi?FL=../g9.txt&IS=\6.PERWOISTOTNIKI\LEO%20BRODIE%20STARTING%20FORTH\02.WYPOLNENIE%20ARIFMETITESKIH%20OPERAZIJ «Выполнение арифметических операций»] книги [http://gudleifr.h1.ru/cgi-bin/pilo.cgi?FL=../g9.txt&IS=\6.PERWOISTOTNIKI\LEO%20BRODIE%20STARTING%20FORTH Л.Броуди «Начальный курс программирования на языке Форт»]
* См. также слово − в главах [http://www.forth.com/starting-forth/sf2/sf2.html «How to Get Results»] и [http://www.forth.com/starting-forth/sf4/sf4.html «Decisions, Decisions…»] книги [http://www.forth.com/starting-forth/ Leo Brodie «Starting Forth»] ''(англ.)''


[[Категория:Слова Каллисто]]
[[Категория:Примитивы]]
[[Категория:Арифметические операции Каллисто]]
[[Категория:Слова, способные вызывать авост Каллисто]]
[[Категория:Традиционные слова]]
[[Категория:Стандартные слова]]
[[Категория:1994 CORE]]
[[Категория:2012 CORE]]
@@ Строка 65: / Строка 65: @@
                  KRMA KRMB − KMA                 ; Обёртка вокруг −
                  KGOTO9
-</pre>
-Реализации из SP-Forth 4.20:
-<pre>
-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
-</pre>
-<pre>
-CODE F-       \ DE E9
-       FSUBP ST(1), ST
-       RET
-END-CODE
 </pre>