Control-Flow on 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). Эквивалентные формы:

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

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

В TrustLang любая конструкция является выражением и возвращает значение, поэтому её можно вкладывать в другие выражения. Инструкции разделяются точкой с запятой ;; группа инструкций заключается в блок кода { ... }. Базовые правила блоков и выражений описаны в Синтаксисе.

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

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

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

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

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

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

Размышления о структурном программировании

Sun, 31 Dec 2023 00:00:00 +0000

31 дек 2023 в 11:53

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