W Cat: Язык программирования Euphoria. Справочное руководство

Логические операции выполняются в выражениях с помощью операторов and (И), or (ИЛИ), xor (НО), и not (НЕ), результатом работы каждого из которых является "истинность" или "ложность" выражения, 1 или 0, то есть:

1 and 1 -- 1 (истина, да)

1 and 0 -- 0 (ложь, нет)

0 and 1 -- 0 (ложь, нет)

0 and 0 -- 0 (ложь, нет)

1 or 1 -- 1 (истина, да)

1 or 0 -- 1 (истина, да)

0 or 1 -- 1 (истина, да)

0 or 0 -- 0 (ложь, нет)

1 xor 1 -- 0 (ложь, нет)

1 xor 0 -- 1 (истина, да)

0 xor 1 -- 1 (истина, да)

0 xor 0 -- 0 (истина, да)

not 1 -- 0 (ложь, нет)

not 0 -- 1 (истина, да)

Вы можете применять эти операторы также к другим числам. Правило такое: нуль означает ложь (нет), не-нуль означает истину (да). Например:

5 and -4 -- 1 (истина, да)

not 6 -- 0 (ложь, нет)

Эти операции также могут применяться и к рядам. См. ниже.

В некоторых случаях выполняется так называемая укороченная проверкаистинности. Укороченная проверка производится в выражениях, содержащих операторы andили or.

В выражениях Euphoria доступны обычные арифметические операции: сложение, вычитание, умножение, деление, унарный минус, унарный плюс.

3.5 + 3 -- 6.5

3 - 5 -- -2

6 * 2 -- 12

7 / 2 -- 3.5

-8.1 -- -8.1

+8 -- +8

Вычисление результата, который оказывается слишком большим (т.е. вне диапазона от -1e300 до +1e300), порождает один из специальных атомов +infinity (+бесконечность)или -infinity (-бесконечность). На экране эти атомы отображаются как infили -inf, если результат выводится на печать. Возможно также получение nanили -nan. "nan" означает "not a number" - "не число", т.е. некоторая неопределенная величина (такая как inf деленная на inf). Эти специальные значения введены в Euphoria на основании стандарта IEEE по вычислениям с плавающей точкой. Если вы находите одну из этих специальных величин среди результатов счёта по вашей программе, то обычно это является признаком ошибки в логике вашей программы, хотя inf как промежуточный результат иногда и допустим. Например, 1/inf равно 0, и это может быть "правильным" ответом в вашем алгоритме.

Деление на нуль, как и недопустимые аргументы в математических подпрограммах, например, квадратный корень из отрицательного числа или логарифм неположительного числа и т.п. ошибки, вызывают немедленную аварийную остановку вашей программы с сообщением об ошибке.

Единственной причиной, по которой вам может понадобиться унарный плюс, является желание особо подчеркнуть для читателя вашей программы, что некоторая величина именно положительная, и не иначе. Интерпретатор же не выполняет никаких действий, встретив унарный плюс.

Все операции (сравнения, логические и арифметические), описанные выше, равно как и математические подпрограммы, описанные в документе Часть II - Библиотека подпрограмм, могут быть применены к рядам и к отдельным числам (атомам).

Будучи применённой к ряду, унарная (для одного операнда) операция фактически применяется к каждому элементу ряда, и результирующий ряд имеет ту же самую длину. Если какой-то из элементов ряда сам по себе является рядом, это правило действует снова, рекурсивно, по отношению к каждому элементу вложенного ряда. То есть,

x = -{1, 2, 3, {4, 5}} -- x равно {-1, -2, -3, {-4, -5}}

Если бинарная (для двух операндов) операция применяется по отношению к операндам, каждый из которых является рядом, то эти два ряда должны иметь одинаковую длину. Если условие одинаковости длины рядов выполнено, бинарная операция производится над соответствующими элементами рядов, взятыми из этих двух рядов для формирования результирующего ряда. То есть,

x = {5, 6, 7, 8} + {10, 10, 20, 100}

-- x равно {15, 16, 27, 108}

Если в бинарной операции участвуют два операнда, один из которых является рядом, а второй - единственным числом (атомом), этот атом эффективно повторяется для формирования ряда с длиной, равной длине первого операнда. Затем применяются правила, действующие в отношении двух рядов. Некоторые примеры:

y = {4, 5, 6}

w = 5 * y -- w равно {20, 25, 30}

x = {1, 2, 3}

z = x + y -- z равно {5, 7, 9}

z = x < y -- z равно {1, 1, 1}

w = {{1, 2}, {3, 4}, {5}}

w = w * y -- w равно {{4, 8}, {15, 20}, {30}}

w = {1, 0, 0, 1} and {1, 1, 1, 0} -- w равно {1, 0, 0, 0}