Синтаксис on TrustLang

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

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

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

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

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

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

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

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

TrustLang поддерживает пространства имен, разделителем в которых, как и в С++, выступает двойное двоеточие “::”.

Область имен может быть указана как для отдельного индетификатора, так и для целого блока кода.

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

Модули и пакеты

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

В TrustLang реализована концепция программных модулей и пакетов - которая повторяет идею иерархического расположения файлов в каталогах файловой системы, примерно так же, как это сделано в языке Python, но разделителем имен выступает не точка, а символ “\” (как разделитель каталогов в Windows).

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

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

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

В TrustLang реализовано безопасное автоматическое управление памятью без сборщика мусора.

Автоматическое освобждение памяти реализовано за счет принципа RAII и использования двух типов указателей: сильных и слабых ссылок (shared_ptr и weak_ptr в терминологии С++).

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

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

Обобщенное программирование

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

Обобщённое программирование (generic programming) - это одна из фундаментальных парадигм современного программирования, позволяющая писать алгоритмы и структуры данных независимо от конкретных типов, с которыми они работают. Несмотря на единство цели, каждый язык программирования реализуют эту парадигму по своему. И такие различия не случайны, так как каждый варинат реализации обощеного программирования является следствием философии языка, исторического контекста и компромиссов между производительностью, безопасностью и выразительностью.

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

Макросы

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

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

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

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

Keyword syntax (DSL)

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

Особенности ассоциативной памяти

Синтаксис языка TrustLang основан на строгих правилах без использования ключевых слов, и как бы он не выглядел логичным, ассоциация по ключевым словам вспоминается гораздо легче, например if, чем комбинация минус минус правая угловая скобка –>. Из-за этого имеет смысл использовать не “чистый” базовый синтаксис, а более привычный диалект с использованием ключевых слов.

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

Доказательство корректности

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

⚠️ НЕ РЕАЛИЗОВАНО: формальный анализ AoRTE (проверка доказательства корректности программы) в текущей версии компилятора НЕ реализован: в pipeline отсутствует соответствующий проход, а SMT-решатель — только инфраструктура (solver), по умолчанию подключён заглушка (SolverStub возвращает kUnsupported)

Реализация статической проверки динамических выражений AoRTE (“Absence of Run-Time Errors”), которая не даёт ложных срабатываний, хотя возможны ложные отрицательные результаты. То есть, если ошибки при компиляции отсутствуют, то можно быть уверенными, что проблем в коде нет, тогда как указание на возможную ошибку не всегда соответствует действительности и инструмент может ошибаться.