Слово −
− (вычесть, читается «минус») — стандартное слово Каллисто. Вычитает десятичное число, находящееся на вершине стека, из числа, лежащего в стеке следующим.
− ( 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
Ссылки
- Исходный текст слова − в Каллисто Классик 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» (англ.)