Редактирование: Стековая нотация
Перейти к навигации
Перейти к поиску
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий ниже, чтобы убедиться, что это нужная вам правка, и запишите страницу ниже, чтобы отменить правку.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
'''Стековая нотация''' — минимальное требование к документированию слова [[Каллисто]], размером в одну строку. Пример ''стековой нотации'': | '''Стековая нотация''' — минимальное требование к документированию слова [[Каллисто]], размером в одну строку. Пример ''стековой нотации'': | ||
+ ( | + ( x1 x2 -- x3 ) Сложение. x3 ← x1 + x2 | ||
Слева находится имя того слова [[Каллисто]], которое документируется. В данном случае имя состоит из одной литеры "+". | Слева находится имя того слова [[Каллисто]], которое документируется. В данном случае имя состоит из одной литеры "+". | ||
Далее, в скобках, | Далее, в скобках, описаны состояния [[Стек данных|стека]] до и после выполнения слова, разделённые литерами "--". По принятому соглашению вершина стека находится справа. Всё, находящееся в [[Стек данных|стеке]] до указанных элементов, остаётся неизменным. | ||
Мы видим, что до выполнения слова "+" на стеке находилось два десятичных числа x1 и x2. Слово "+" убрало из стека верхнее из этих чисел, а нижнее заменило на x3. Если слово не меняет стек, ''стековая нотация'' выглядит вот так: | Мы видим, что до выполнения слова "+" на стеке находилось два десятичных числа x1 и x2. Слово "+" убрало из стека верхнее из этих чисел, а нижнее заменило на x3. Если слово не меняет стек, ''стековая нотация'' выглядит вот так: | ||
Строка 12: | Строка 12: | ||
== Обозначение типа элемента стека в ''стековой нотации'' == | == Обозначение типа элемента стека в ''стековой нотации'' == | ||
Строго говоря, | Строго говоря, все элементы стека имеют одинаковый тип «[[десятичное число]]» и размер в 1 десятичный регистр. Но слова имеют определённые ожидания насчёт аргументов, передаваемых им через стек. Также можно кое-что сказать заранее о значениях, возвращаемых словами [[Каллисто]]. | ||
Традиционно эта дополнительная информация об аргументах и значениях отражается в буквах, которыми элементы | Традиционно эта дополнительная информация об аргументах и значениях отражается в английских буквах, которыми элементы стека обозначаются в ''стековой нотации'', а именно: | ||
a | a адрес в единой адресации (от 0 до 19'999) | ||
b | b 8-битное целое (от -128 до 255) | ||
c | c неотрицательное 8-битное целое (от 0 до 255) | ||
f флаг: −1 «истина», 0 «ложь» | |||
i 32-битное целое в дополнительном коде (от -2'147'483'648 до 2'147'483'647) | |||
f | n целое число (от -999'999'999'999 до 999'999'999'999) | ||
p неотрицательное десятичное число (от 0 до 9,999'999'999'99e99) | |||
i | u неотрицательное целое (от 0 до 999'999'999'999) | ||
n | x y любой элемент стека (десятичное число от -9,999'999'999'99e99 до +9,999'999'999'99e99) | ||
p | |||
u | |||
x y | |||
Если в ''стековую нотацию'' входит несколько различных чисел данного типа, к букве может добавляться цифра, например x1 x2 x3 | Если в ''стековую нотацию'' входит несколько различных чисел данного типа, к букве может добавляться цифра, например x1 x2 x3 | ||
Одинаковые вхождения | Одинаковые вхождения обозначения типа означают одно и тоже число, например: | ||
↑ ( x -- x x ) Дублировать. | ↑ ( x -- x x ) Дублировать. | ||
2DUP ( | 2DUP ( x1 x2 -- x1 x2 x1 x2 ) Дублировать пару чисел. | ||
{{заготовка}} | {{заготовка}} | ||
[[Категория:Каллисто]] | [[Категория:Каллисто]] |