Выражения и инструкции on TrustLang

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

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

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

Для создания объектов в TrustLang используется несколько операторов:

Операторы

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

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

Арифметические операторы TrustLang применимы к числовым типам и формам с присваиванием. Каждый бинарный оператор имеет парный аналог op=, который выполняет операцию и присваивает результат левому операнду (a += 1;):

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

Отдельного оператора возведения в степень нет (степень вычисляется функцией/повторным умножением). Арифметика рациональных чисел и :BigInteger — отдельная строгая ветка: смешивание с числами с плавающей точкой требует явного преобразования (см. Числа и тензоры).

Условия и циклы

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

В TrustLang нет ключевого слова if: условие проверяется конструкцией, которая по смыслу соответствует математическому «следует» — два тире и угловая скобка -->. Запись легко объединяется в цепочки для проверки нескольких условий вида «else if». Ниже конструкция показана обеими формами — DSL-макросом и базовым синтаксисом (о двух формах записи см. Макросы и DSL):

Макросы DSL Базовый синтаксис

Макросы DSL	Базовый синтаксис
`@if( условие1 ) { действие1 } @elif( условие2 ) действие2 @else { действие_иначе };`	`[ условие1 ] --> { действие1 }, [ условие2 ] --> действие2, [ ... ] --> { действие_иначе };`

@if( условие1 ) {
    действие1
} @elif( условие2 ) действие2
@else {
    действие_иначе
};

[ условие1 ] --> { действие1 },
[ условие2 ] --> действие2,
[ ... ] --> { действие_иначе };

Для записи циклов используется оператор <-> (в базовой записи) или макросы @while/@dowhile (в DSL). Условие записывается в квадратных скобках; в зависимости от взаимного расположения условия и тела цикл бывает с предусловием (while) или с постусловием (do while). Эквивалентные формы:

Менеджер контекста (with)

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

Одиночный оператор захвата ссылки и синхронизации доступа к объекту (*ref, *ref(...)) выполняется для одного действия. Захват ссылки/объекта синхронизации — относительно медленная операция, поэтому выполнять её для каждого действия нерационально. Менеджер контекста (with) однократно захватывает сразу несколько ссылок/объектов и выполняет группу действий под общим локом, а также служит для автоматического освобождения ресурсов (RAII) при выходе из блока.

В базовом синтаксисе — оператор **( ... ), в DSL ему соответствует макрос @with (см. Keyword syntax (DSL)). Сравнение форм записи на примере захвата-блокировки ссылки:

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

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

Последовательность команд (блок кода) можно прервать в любом месте специальными операторами прерывания. В TrustLang используются два вида прерываний, которые по смыслу соответствуют своей записи:

«положительное» прерывание ++ — возврат значения/сквозная передача потока (аналог return);
«отрицательное» прерывание -- — ошибка (аналог throw).

Прерывание может возвращать значение: ++ 'Строка' ++ — вернуть строку, -- err -- — «бросить» ошибку (примерный аналог throw err). Если значение не указано, прерывание не возвращает ничего (пустое значение).