Syntax on TrustLang

Концепция

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

Фундаментальные понятия

Синтаксис TrustLang имеет несколько общих для всего языка правил:

Язык построен на грамматических правилах, а не на ключевых словах. Лексер и парсер получаются однопроходными, простыми и быстрыми, а привычная запись с ключевыми словами (@if, @while, @func, …) реализуется поверх базового синтаксиса через макросы.
Термины исходного текста сначала распознаются лексером и обрабатываются макропроцессором, и только затем попадают в парсер. Это позволяет с помощью макросов модифицировать даже базовые синтаксические конструкции.
Инструкции (операторы) разделяются точкой с запятой ;.
Блоки кода записываются в фигурных скобках { ... }.
Любая конструкция (в том числе блок кода) является выражением и возвращает значение, поэтому её можно вкладывать в другие выражения.

Синтаксис TrustLang можно условно разделить на несколько слоёв, каждый из которых отвечает за свою область:

Синтаксис

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

Именование объектов

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

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

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

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

При создании объектов имя идентификатора может содержать один или несколько специальных символов — квалификаторов (или сигилов), за которыми закреплено определённое значение.

Макросы и DSL

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

Макросы в TrustLang являются элементами метапрограммирования.

Макрос — это один или несколько последовательных терминов, которые заменяются на другой термин или на целую синтаксическую конструкцию (последовательность лексем) и выступают в роли специализированных регулярных выражений для поиска и замены последовательностей терминов.

Макросы обрабатываются лексером перед отправкой токенов в парсер для синтаксического анализа, что позволяет изменять даже синтаксис языка, например, превратить синтаксис TrustLang на основе грамматических правил в более привычный синтаксис на основе ключевых слов, так как такой текст легче воспринимается при последующем чтении исходного кода программы.

Иерархия кода

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

Пространства имён

TrustLang поддерживает пространства имён; разделитель, как и в C++, — двойное двоеточие ::. Область имён может быть указана как для отдельного идентификатора, так и для целого блока кода.

В отличие от namespace в C++, области имён в TrustLang служат не только для организации кода логическими группами и избежания конфликтов имён: имя, в котором явно указана область имён, относится к статическим объектам (память под которые выделяется на этапе компиляции).

Управление памятью и совместный доступ

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

Ни один способ управления памятью не является лучшим или универсальным: в разных условиях выигрывают разные подходы:

Ручное управление памятью может делать всё, что угодно, кроме одного — гарантировать отсутствие ошибок.
Анализ владения и заимствования на этапе компиляции позволяет доказать корректность кода без дополнительных рантайм-проверок, но некоторые сценарии и алгоритмы не могут быть доказаны статически на этапе компиляции.
Подсчёт сильных и слабых ссылок во время выполнения удобен для разделяемого владения, но имеет ненулевую стоимость и не защищает от циклических и перекрёстных зависимостей.
Сборка мусора упрощает работу со сложными циклическими структурами, но имеет самые дорогие накладные расходы и недетерминированное выполнение.
Ни один из перечисленных способов управления памятью не включает в себя вопросы межпотоковой синхронизации доступа к памяти.

Поэтому выбирать только один способ управления памятью в языке программирования — это значит заранее ограничить его возможности и добавить лишние накладные расходы. Из этих соображений концепция управления памятью TrustLang допускает расширение реализации модели управления памятью с минимальным влиянием на синтаксис языка и определяется требованиями (гарантиями) для работы с памятью.

Если вы думаете, что знаете, чем отличается «Expression» от «Statement», то, скорее всего, вы ошибаетесь

Sun, 02 Aug 2026 00:00:00 +0000

Я занимаюсь изучением синтаксиса языков программирования и пытаюсь отделить фундаментальные закономерности от исторических случайностей. Одна из таких случайностей - почти повсеместное использование терминов выражение (expression) и инструкция (statement) при описании и классификации синтаксиса языков программирования.

Интуитивно кажется, что 2 + 2 и if (x) { foo(); } - это совершенно разные сущности, но при более глубоком анализе оказывается, что подобное разделение искусственное и возникло из-за архитектурных особенностей вычислительных машин почти полвека назад и с тех пор просто «переходит» из языка в язык.

Почему C++ или Rust никогда не смогут заменить Python

Tue, 28 Jul 2026 00:00:00 +0000

На Хабре периодически появляются статьи с анализом феномена Python - как один из самых медленных языков программирования стал королём нейросетей, и ответ всегда один: за счёт простого синтаксиса и развитой экосистемы. Но экосистема у C++ значительно больше и богаче, значит, дело не в ней и остаётся только синтаксис. А если проблема действительно в синтаксисе, тогда должен быть ответ и на другой вопрос: почему C++ не стал основой для исследований в этой (или любой другой) области?

Строительные блоки языков программирования

Fri, 03 May 2024 00:00:00 +0000

В результате обратной связи по статье с размышлениями о структурном программировании, было много отзывов и споров в комментариях, за которые я хочу сказать всем большое спасибо.

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

Ведение

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

Нюансы разработки парсера для своего языка программирования

Wed, 29 Mar 2023 00:00:00 +0000

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

Я решил не сильно париться, поэтому использовал библиотеку parglare. Она очень легкая и удобная, всем рекомендую. Для описания синтаксиса парсер принимает строку в соответствующем формате, использует регулярные выражения (не надо осуждать регулярки, они всесильны!).

В результате решил опубликовать статью на основе своих старых записей еще с тех времен, когда идея TrustLang до конца еще не выкристаллизовалась, но уже хотелось писать реальный код и тестировать разные концепции.

Вариант реализации DSL (domain-specific language) с помощью макросов

Wed, 01 Mar 2023 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

Близится релиз языка TrustLang с принципиальной новой «фишкой», переделанным вариантом препроцессора, который позволяет расширять синтаксиса языка для создания различных диалектов DSL за счет макросов.

И, как всегда, используя ранее найденный лайфхак Хабр - ума палата, хотелось бы получить от читателей обратную связь насчет предлагаемого ниже подхода, который планируется к реализации в новом препроцессоре TrustLang.

Новый язык программирования

Fri, 18 Feb 2022 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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

Необычная концепция синтаксиса языка программирования

Mon, 24 May 2021 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

Хочу представить на обсуждение читателей немного необычный концепт языка программирования, в котором отсутствует проблема, присущая практически всем промышленным языкам - постоянное увеличение сложности синтаксиса языка из-за его естественного развития по мере выхода новых версий и добавления новых фич. Эта проблема описана в статье “Простое сложное программирование” и Какая “идеальная” цель развития у языков программирования?

После нескольких экспериментов с синтаксисом, хочется проверить выработанную идею на широкой аудитории Хабра, которая как нельзя лучше подходит для этих целей.

Интернациональное программирование на естественных языках

Sat, 05 Dec 2020 00:00:00 +0000

Внимание!!!

Данная статья содержит описание синтаксиса NewLang предыдущей версии.

Актуальную версию синтаксиса языка можно посмотреть тут.

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

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