Архитектура on TrustLang

Внутреннее имя и манглинг имен

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

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

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

Манглинг нативных имен переменных и функций происходит в соотвествии с правилами компилятора языка реалиазции, а все остальные объекты именются следующим образом:

Реализация прерываний и обработки ошибок

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

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

⚠️ НЕ РЕАЛИЗОВАНО: описанная здесь схема обработки ошибок (макросы LOG_ERROR, опция --nlc-error-limit, классы :IntAny/:IntPlus/:IntMinus) относится к устаревшей архитектуре `nlc`. Текущая реализация использует компонент diag (Severity::Error/Warning/... и накопительные отчёты в pipeline), а опции задаются через -W<name> (см. README.md)

Накопительные ошибки и их реализация

Накопительные ошибки используются при обработке исходного текста программы при его парсинге, анализа или компиляции. Накопительнность данных ошибок заключается в том, что процесс обработки исходного текста прерывается не сразу после возникновения первой ошибки, а только после превышения определнного лимита (по умолчанию –nlc-error-limit=10).

LLVM

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

⚠️ НЕ РЕАЛИЗОВАНО: LLVM-бэкенд не используется: текущая реализация — транспилятор в код C++ с последующей сборкой через clang++ (LLVM IR не генерируется). Документ является справочником по инструкциям LLVM IR и не отражает фактический вывод компилятора

Инструкция возврата:

‘ret’ - инструкция возврата

    ret <type> <value>       ; Return a value from a non-void function
    ret void                 ; Return from void function

Инструкция передачи потока выполнения:

‘br’ - инструкция перехода (условного или безусловного)
‘switch’ - Инструкция передачи управления в одно из нескольких различных мест (обобщение инструкции «br»)
‘indirectbr’ - инструкция косвенного безусловного перехода
‘callbr’ - аналог безусловного перехода

Инструкции для обработки исключений:

Реализация JIT

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

В состав языка взодят следующие компоненты:

⚠️ НЕ РЕАЛИЗОВАНО: JIT-компиляция, интерпретатор и REPL (компоненты nlc-jit, nlc-rt, LLVM) в текущей версии НЕ реализованы. Реализация `trust` транспилирует исходный текст в C++ и собирает исполняемый файл через clang++ (см. README.md и _build/trust --help); режима JIT/REPL нет

Приложение компилятор и REPL одновременнно nlc.
Библиотека nlc-rt - минимально необходимые компоненты для работы с обощенными типами данных.
Рантайм компоненты проекта libtorch - для тензорных вычислений.
Библиотека nlc-jit - реализация REPL и JIT и нативного компилятора
Рантайм библиотека LLVM как зависимость для nlc-jit.

Варианты сборки приложения и необходимые для его работы библиотеки зависят от следующих факторов:

Реализация областей видимости

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

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

⚠️ НЕ РЕАЛИЗОВАНО: описанная здесь модель времени выполнения (классы Runtime/Module/Context, Obj, Variable, VariablePair, LatterType, именованные прерывания как исключения) относится к устаревшей интерпретируемой архитектуре и не соответствует текущей реализации-транспилятору в C++

Каждый объект имеет владельца.

Встроенными и глобальными объектами владеет среда выполнения (Runtime), статическиме объекты принадлежат модулю (Module), а локальные (автоматические) находятся на стеке выполненения (Context).

Системные свойства

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

Системные свойства

⚠️ НЕ РЕАЛИЗОВАНО: системные свойства объектов `__name__`, `__type__`, `__module__`, `__str__` и т.п. в текущей реализации-транспиляторе не реализованы (нет интерпретируемой объектной модели; данные компилируются в C++). Нижеследующее описание относится к устаревшей архитектуре

Несмотря на то, что не все объекты TrustLang являются классами с точки зрения реализованной концепции ООП, тем не менее, каждый объект имеет системные свойства, которые можно считать во время выполнения как обычные свойства объекта:

У всех переменных (объектов) есть системные свойства

__name__ - краткое имя переменной (объекта)

Опции и настройки компилятора

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

Прагмы

Предварительное объевления объектов

@__PRAGMA_DECLARE__

⚠️ НЕ РЕАЛИЗОВАНО: прагма @__PRAGMA_DECLARE__ в текущей версии не существует (см. список поддерживаемых @__PRAGMA_* в src/syntax/parser.cpp)

    @__PRAGMA_DECLARE__( func(arg) );

Импорт нативной функции / переменной

@__PRAGMA_NATIVE__

⚠️ НЕ РЕАЛИЗОВАНО: прагма @__PRAGMA_NATIVE__ в текущей версии не существует; импорт нативных объектов выполняется через @extern/@forward или `name(...):T := %native...` (см. docs/types/native)

    // import native int printf(char *format, ...)
    @__PRAGMA_NATIVE__( printf(format:FmtChar, ...):Int32 );

Управление диагностикой компилятора

@__PRAGMA_DIAG__ -