0x-ff / conditions Goto Github PK

Сейчас библиотека поддерживает только логические типы в возвращаемых результатах операций.

Нужно реализовать для них тип Variant как контейнер (деталь реализации) для разных типов.
Добавить тип integer и арифметические операции с ними, со строгой типизацией
Добавить операцию COUNT с таким синтаксисом и семантикой

A - логическое выражение
[foo] - переменная или литерал, представляющий множество строк ["1", "2", "3"]

• COUNT "1111"
  Синтаксическая ошибка, COUNT работает только для множеств

• A AND COUNT [foo]
  Это синтаксическая ошибка несоответствия типов (int bool)

• A AND COUNT [foo] = 1
  Вычисляет true если A true (надо проверить реализовано ли ленивое вычисление логических типов) и множество [foo] имеет ровно один элемент

Сейчас либа не поддерживает работу с унарными операциям, нужно встроить такую возможность.

Синтаксис такой

OPERATOR VALUE

Возвращает bool

В качестве примера нужна операция EMPTY, которая проверяет множество строк на пустоту.

Мотивация
Нужно иметь возможность вычислять выражения, в которых не заданы некоторые переменные, до тех пор пока к этим переменным не происходит обращения. В результате хочу добиться поддержки такого выражения (пример приведен на PHP) !isset($args, 1337) || in_array(1338, $args[1337]).

Что для этого нужно сделать

1. Поддержать short circuit для тех логических бинарных операторов, которые его поддерживают (как минимум AND/OR). Это позволит избежать обращения к непереданным переменным в случае если их вычисление не требуется для вычисления всего выражения.
2. Поддержать SliceNumberLiteral для оператора INTERSECTS.
3. Поддержать унарный оператор отрицания NOT.
4. Поддержать опциональные аргументы + добавить унарный метод проверки существования аргумента isset.