Синтаксис on TrustLang

Naming Objects

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

Objects and data types can be named using letters, numbers, and underscores in any combination, provided that the first character of the name is not a digit.

All identifiers must be unique, and to avoid collisions, you can use namespaces and a modular code structure supported simultaneously by TrustLang.

Overloading functions based on argument types is absent in TrustLang, so defining multiple functions with the same name but different arguments is not possible, but you can override a function, including extending the types of accepted arguments or increasing their number.

Namespaces

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

TrustLang supports namespaces, where the separator, like in C++, is a double colon “::”.

A namespace can be specified for an individual identifier or for an entire code block.

Unlike namespace in C++, namespaces in TrustLang are used not only to organize code into logical groups and avoid name conflicts, but also to associate an identifier, explicitly specifying the namespace, with static objects (memory allocated during the compilation stage of the program).

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

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

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

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

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

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

https://habr.com/companies/otus/articles/763810/ https://habr.com/articles/764420/

Последовательная согласованность отсутствует (отсутствуют атомарныти типы)

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

За основу была взята модель “владения” из языка Rust, но она переработана под концепцию сильных и слабых указателей (аналоги shared_ptr и weak_ptr из С++), где каждое значение в памяти может иметь только одну переменную-владельца с сильным указателем.

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

Macros

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

Macros are also used to transform the original code of TrustLang into a more familiar syntax based on keywords, as such text is much easier to understand when reading the original code later.

In TrustLang, macros are one or more consecutive terms that are replaced with another term or a whole syntactic construction (a sequence of lexemes).

Macros are processed during the operation of the lexer, i.e., before passing the sequence of lexemes to the parser, allowing fragments of the language syntax to be modified using macros, for example, when implementing custom DSL dialects.

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

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

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

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

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

__name__ - краткое имя переменной (объекта)
__full_name__ - полное имя переменной, включая имя модуля и пространство имен
__type__ - текущий тип переменной. Может изменится при некоторых операциях

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

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

Прагмы

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

@__PRAGMA_DECLARE__

    @__PRAGMA_DECLARE__( func(arg) );

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

@__PRAGMA_NATIVE__

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

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

@__PRAGMA_DIAG__ -

        @__PRAGMA_DIAG__(push)
        @__PRAGMA_DIAG__(ignored, "-Wundef")
        @__PRAGMA_DIAG__(warning, "-Wformat" , "-Wundef", "-Wuninitialized")
        @__PRAGMA_DIAG__(error, "-Wuninitialized")
        @__PRAGMA_DIAG__(pop)

@__PRAGMA_MESSAGE__

    #pragma message "Compiling " __FILE__ "..."
    @__PRAGMA_MESSAGE__("Compiling ", __FILE__, "...")


    #define DO_PRAGMA(x) _Pragma (#x)
    #define TODO(x) DO_PRAGMA(message ("TODO - " #x))

    @@TODO( ... )@@ := @__PRAGMA_MESSAGE__("TODO - ", @#...)

    @TODO(Remember to fix this)  # note: TODO - Remember to fix this

@__PRAGMA_WARNING__ @__PRAGMA_ERROR__

Keyword syntax (DSL)

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

Features of associative memory

The syntax of the TrustLang language is based on strict rules without the use of keywords, and no matter how logical it may seem, association by keywords is much easier to remember, for example, if, than the combination minus minus right angle bracket –>. Because of this, it makes sense to use not a “pure” basic syntax, but a more familiar dialect with the use of keywords.