Операторы и управляющие конструкции on TrustLang

Создание объектов

Mon, 01 Jan 0001 00:00:00 +0000

Область видимости объекта =/= время жизни объекта

Область видимости объекта определяется его расположением в программном коде (блоки кода, пространство имен, модели и т.д.) Объект может существовать, но может быть не доступен из текущей области видимости.

Имя объекта, создание объекта и его расположение

Имя объекта - его уникальный идентификатор, который однозначно определяется местом его расположения (нахождение сильной ссылки на объект). Имя у объекта может быть всегда, даже тогда, когда сам объект физически еще не создан (например при предварительном объявлении).

Блоки кода

Mon, 01 Jan 0001 00:00:00 +0000

Блок кода, это сгруппированный набор идущих подряд инструкций, которые выполняются как единое целое с возвращением результата выполнения последней из них. Блок кода, как и любая синтаксическая конструкция языка, должен завершаться точкой с запятой “;”.

Блоки кода используются для ограничения области видимости переменных. С их помощью определяется иерархия области имен и реализуется система именования свойств и методов для классов. Именованные блоки кода могут выступать в качестве локальных меток для передачи потока выполнения.

Математические операторы

Mon, 01 Jan 0001 00:00:00 +0000

Все математические операторы имеют парный аналог с присвоением значения:

+ и += — сложение арифметических типов данных;
- и -= — вычитание арифметических типов данных;
/ и /= — деление (результат число с плавающей точкой);
// и //= — целочисленное деление с округлением к меньшему числу (как в Python);
* и *= — умножение (он же используется и для повторения текстовых строк);
% и %= — остаток от целочисленного деления;

Отдельный оператор для возведения в степень отсуствует.

Операторы сравнения и типизация

Mon, 01 Jan 0001 00:00:00 +0000

Арифметическое сравнение

Операторы арифметического сравнения представленными классическими <, >, <=, >=, == и !=. Они использются для сравнения между собой скаляров и рациональных чисел, а операторы сранвения на равенство == и !=, позвоялют сравнивать между собой в том числе и матрицы.

Операторы сравнения

== и != — операторы сравнения с автоматическим приведением совместимых типов для любых объектов
== и != — операторы сравнения с автоматическим приведением совместимых типов для любых объектов

Условный оператор

Mon, 01 Jan 0001 00:00:00 +0000

В качестве оператора проверки условия используется синтаксическая конструкция, которая соответствует по смыслу термину «следует», т.е. два тире и угловая скобка -->. Такая запись условного оператора очень похожа на математическую и легко объединяется в последовательности для проверки множественных условий вида «else if».

В общем случае условный оператор имеет вид: [ условие ] --> { действие }; или с условием иначе [ условие ] --> { действие }, […] --> { действие иначе };

Оценка выражения

Mon, 01 Jan 0001 00:00:00 +0000

Синтаксическая конструкция с помощью которой реализуется примерный аналог оператора switch или match выглядит следующим образом:

    [ $var ] ==> {
        [1] --> { code }; # Выполнится проверка условия $var == 1
        [1, 2] --> { code }; # Выполнится проверка условия ($var == 1 || $var == 2)
        [...] --> { code default }; # Ветка условия иначе
    };

Или тоже самое, но с использованием макросов из модуля dsl:

    @match( $var ) ==> {
        @case( 1 ) { code };
        @case( 1, 2 ) { code };
        @default { code default };
    };

Этот оператор очень похож на Pattern Matching, но все же не является сопоставлением с образцом, а скорее более краткая запись множественного оператора сравнения, так как в качестве оператора для оценки могут быть использован любые имеющиеся операторы сравнения на равенство:

Операторы циклов

Mon, 01 Jan 0001 00:00:00 +0000

Для записи циклов используются оператор <->, который ставится между условием цикла (проверкой логического выражения) и телом цикла. Условие цикла записывается в квадратных скобках и в зависимости от взаимного расположения цикл может быть с предусловием (while) или постусловием (dowhile):

    [условие while] <-> {
        тело цикла while
    };

    {
        тело цикла do while
    } <-> [условие do while];

Цикл с предусловием (while) поддерживает конструкцию else, которая выполняется, если условие входа в цикл не было выполнено.

Внимание! Это поведение отличается от аналогичных конструкций в языке Python, у которого секция else выполняется всегда, кроме прерывания цикла по break.

Менеджер контекста

Mon, 01 Jan 0001 00:00:00 +0000

Одиночный оператор захвата ссылки и синхронизации доступа к объекту ‘*’ или ‘*(…)’ выполняется только для одной переменной при использовании в одном действии. Но захват ссылки и объекта синхронизации, это относительно медленная операция и выполнять её для каждого действия над переменной не рационально.

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

    **( val1 = *ref1, val2 = *ref2, __timeout__ = 10000 ){
        ...
    };

    **( ... ){
        ...
    } , [...] {
        # Ветка else при ошибке захвата ссылки
        # Информация об ошибке в переменной $^
        ...
    };

Или таже самая запись с использованием макросов DSL:

Ввозврат, прерывания и обработка ошибок

Mon, 01 Jan 0001 00:00:00 +0000

Последовательность команд (блок кода) можно прервать в любом месте с помощью специальных операторов.

Для этого используются две разные команды, которые условно можно назвать положительным и отрицательным прерыванием потока выполнения, что примерно соответствует семантике их записи. “Отрицательное” прерывание записывается в виде двух минусов, а “положительное” прерывание в виде двух плюсов, т.е. -- или ++.

Оператор прерывания не возвращает никакого значения (точнее, возвращает пустое значение). Чтобы прерывание вернуло другое значение, возвращаемые данные нужно записать между парой соответствующих символов, т.е. -- 100 --, что является примерным аналогом оператора return 100; в других языках программирования, а ++‘Строка’++ - аналогом return 'Строка';.