Collections on TrustLang

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

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

Принципы

TrustLang имеет закрытую систему типов: любой новый тип данных обязательно наследует (расширяет) один из уже существующих. Это напоминает модель Object в Java, но без физического наследования (без боксинга простых типов в объекты). Этот подход является основой для обобщённого программирования, когда производный тип наследует набор операций «родительского» типа, и продолжает работать со всеми его наследниками.

Язык динамически типизирован: тип переменной можно указать явно или оставить автоматический вывод. Указанный тип используется для проверок совместимости при присваивании, для проверки типа возвращаемого значения функции и для управления размещением в памяти нативных типов. Автоматическое приведение возможно только между совместимыми типами; в остальных случаях требуется явное преобразование типов.

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

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

Действующие примеры с фактическим поведением текущей версии можно запустить в песочнице: словарь, словарь со смешанными типами, перечисление и вариант.

Словарь (:Dictionary)

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

Литерал словаря записывается в круглых скобках с обязательной завершающей запятой: (,) — пустой словарь, (1, two='2', name=3,). Доступ к элементу — по имени через точку от имени переменной (d.name) либо по целочисленному индексу (d[0]), который начинается с 0 и может быть отрицательным (отсчёт от конца). Изменение — оператором []=; количество элементов — методом size().

Классы

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

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

Статус: реализованы базовые :Struct (строго POD) и :Class (наследование), генерируемые в C++ struct; полноценное ООП (виртуальные методы/override, конструкторы/деструкторы, статические члены) в текущей версии не реализовано. Из «объектно-ориентированных» типов также реализованы перечисления :Enum, варианты :Variant и кортежи :Tuple (см. Словари и наборы), а также предварительное объявление нативных C++-классов (String ::= %std::string { ... }; — см. Нативные типы) и пользовательские шаблон-классы (<T> :Box ::= :Class{...} — см. Обобщённое программирование). Актуальные границы реализации — в Статусе реализации.

Нативные типы

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

Нативные типы данных

Нативными (машинными) данными могут быть как переменные, так и функции, а имя нативных объектов начинается на символ процента “%”.

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

Чтобы использовать уже существующие библиотеки, нужно либо импортировать нативный объект, тем самым создав объект TrustLang, но с реализацией на другом языке, например на C/C++, либо сделать предварительное определение (декларацию) нативного объекта.

Диапазоны, массивы и тензоры

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

Диапазоны, массивы и (в перспективе) тензоры — контейнерные (коллекционные) типы для работы с последовательностями и многомерными данными.

Диапазоны (:Range)

Диапазон — тип, приблизительный аналог «генератора» в Python: он поочерёдно выдает элементы в заданном интервале с заданным шагом. В тексте диапазон указывается двумя или тремя элементами через две точки: 1..5 — от единицы до пяти с шагом по умолчанию 1; шаг задаётся третьим элементом: 0..10..2. В качестве границ и шага можно использовать не только литералы, но и переменные, и рациональные числа: 0.1..$stop..0.1 — от 0.1 до $stop с шагом 0.1; 0..100:Rational — диапазон рациональных чисел.