Слово −: различия между версиями
AtH (обсуждение | вклад) Нет описания правки |
AtH (обсуждение | вклад) |
||
(не показано 9 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
'''−''' (вычесть, читается «минус») — | '''−''' (вычесть, читается «минус») — стандартное слово [[Каллисто]]. Вычитает [[десятичное число]], находящееся на вершине [[Стек данных|стека]], из числа, лежащего в [[Стек данных|стеке]] следующим. | ||
− ( y x -- x1 ) Вычесть. x1 ← y − x | − ( y x -- x1 ) Вычесть. x1 ← y − x | ||
[[Файл:CallistoConstVar.png|thumb|right|264px|Пример работы слова −]] | [[Файл:CallistoConstVar.png|thumb|right|264px|Пример работы слова −]] | ||
Строка 6: | Строка 6: | ||
== Ввод слова − == | == Ввод слова − == | ||
В [[Режим NUM|режиме NUM]] нажмите [[Клавиша -|белую клавишу {{Серая клавиша|−}}]] | В [[Режим NUM|режиме NUM]] нажмите [[Клавиша -|белую клавишу {{Серая клавиша|−}}]] | ||
== − и F− в стандарте ANS Forth == | == − и F− в стандарте ANS Forth == | ||
Строка 30: | Строка 21: | ||
== История == | == История == | ||
Каллистянское слово − является одновременно и стандартным, входя в обязательный список слов 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 Стэнфордского университета]. | Слово − появилось в программе 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 Стэнфордского университета]. | ||
Строка 36: | Строка 29: | ||
В 1970 году слово − работало в 2К×48бит версии Форта на Burroughs B-5500. | В 1970 году слово − работало в 2К×48бит версии Форта на Burroughs B-5500. | ||
В {{colorForth}} слово − используется для реализации [[ | В {{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), часто помечая эту букву [[~|тильдой]]. | Одноимённая [[−|команда −]] использовалась в советских ПМК, откуда в 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), часто помечая эту букву [[~|тильдой]]. | ||
Строка 55: | Строка 48: | ||
== Реализация == | == Реализация == | ||
Слово − является «обёрткой» вокруг команды ЭКВМ [[−|команды ЭКВМ − «вычитание»]], вызывающей переполнение при результате, по модулю больше либо равном 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> | |||
Реализации из 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> | |||
=== Советская реализация === | |||
Слово − присутствовало в FORTH ИТЭФ и ФОРТ-ЕС, где работало только с целыми числами. | Слово − присутствовало в FORTH ИТЭФ и ФОРТ-ЕС, где работало только с целыми числами. | ||
Строка 91: | Строка 120: | ||
[[Категория:Арифметические операции Каллисто]] | [[Категория:Арифметические операции Каллисто]] | ||
[[Категория:Слова, способные вызывать авост Каллисто]] | [[Категория:Слова, способные вызывать авост Каллисто]] | ||
[[Категория:Традиционные слова]] | |||
[[Категория:Стандартные слова]] | |||
[[Категория:1994 CORE]] | |||
[[Категория:2012 CORE]] |
Текущая версия от 17:34, 10 ноября 2017
− (вычесть, читается «минус») — стандартное слово Каллисто. Вычитает десятичное число, находящееся на вершине стека, из числа, лежащего в стеке следующим.
− ( 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» (англ.)