Сейчас библиотека поддерживает только логические типы в возвращаемых результатах операций.
Нужно реализовать для них тип 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] имеет ровно один элемент
Сейчас библиотека поддерживает только логические типы в возвращаемых результатах операций.
Нужно реализовать для них тип 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] имеет ровно один элемент