ООП on TrustLang

Система типов

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

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

⚠️ НЕ РЕАЛИЗОВАНО: данный документ содержит концептуальные заметки и черновиковые пометки автора (в т.ч. со знаками '???'), а не описание реализованного синтаксиса. Приведённая иерархия типов, описание чистых функций, корутин и Thread/Async/ThreadPool не соответствуют текущей реализации (корутины, потоки, чистые функции `:-`/`::-` не реализованы; см. docs/types/funcs)

Словари и наборы (перечисления)

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

Словарь

Словарь (:Dictionary) — набор данных произвольного типа с доступом к отдельным элементам по целочисленному индексу или по имени элемента при его наличии (это похоже и на tuple и на структуру одновременно).

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

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

Классы

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

Тип данных :Class аналогичен словарю, но все его поля обязаны иметь имена (хотя доступ к свойствам класса по индексу так же возможен). При создании экземпляра класса, создается новый тип, для которого копируются свойства и методы всех родителей.

Различия между классом и словарем заключается в том, что поля словаря могу изменять динамически, тогда как состав полей класса определется во время компиляции и могут только расширяться по сравнению родительскими типами??????

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