Типы Данных on TrustLang

Словари

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

Объектно ориентированное программирование

TrustLang поддерживает следующую концепцию объектно-ориентированного программирования:

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

Наследование поддерживается для типов словарь (:Dictionary) и класс (:Class) и всех их потомков.

Словарь

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

Классы

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

Ответ прост: классы не строго необходимы для ООП. Знаю, это может шокировать.

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

В языках наподобие JavaScript (хотя ES6 добавил в язык классы6, 7) и Lua используется концепция ООП на основе прототипов или прототипного ООП. Вместо создания схемы для конструирования новых объектов мы используем существующий объект в качестве прототипа. Такой подход даже может иметь реальные преимущества, поскольку снижает сложность языка8.

Функции

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

Определение функции происходит с помощью операторов создания объектов, имя функции должно соответствовать правилам именования, после которого указываются круглые скобки. В настоящий момент поддерживается создание функций только в качестве статических объектов с однократной инициализацией с помощью оператора ‘::=’;

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

Функции поддерживают аргументы по умолчанию, а сами аргументы указываются как в Python, т.е. вначале идут обязательные, далее идут аргументы со значениями по умолчанию, где его имя отделяется от дефолтного значения знаком равно “=”.

Итераторы

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

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

Для работы с итераторами используется следующий синтаксис:

? или ?( текст ) - создание итератора без фильтра или с regex фильтрацией по имени поля
?( func, args… ) - создание итератора с использованием лямбда функции или функции обратного вызова
! или !( количество возвращаемых элементов ) - перебор элементов итератора
?! или !? - получить текущий элемент без перемещение курсора
!! - сбросить указатель итератора в начальное состояние (на первый элемент)
?? - создать итератор и сразу его выполнить, возвращая все значения в виде элементов словаря максимально возможного размера. Это своего рода синтаксический сахар для краткой записи последовательности команд ?; !(9223372036854775807);, что удобно использовать при отладке для вывода значений переменных.

Для работы с итераторами можно использовании DSL операторы:

Другие типы данных

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

Пусто (:None)

:None (пусто) — не содержит значения (точнее имеет одно значение :None). Указывается в тексте программы как один подчерк «_». Значение None имеют не инициализированные переменные и при попытке чтения из такой переменной возникает ошибка.

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

    $var := _; # Создать не инициализированную переменную
    $var2 := var; # Ошибка!!! Нельзя прочитать не инициализированную переменную var
    $var = 1000; # У переменной будет тип Short (минимальный размер для хранения значения)
    $var = 0,5; # Ошибка!!! Short ← Float не совместимы
    $var = _; # Очистить значение переменной
    $var = 0,5; # Теперь можно, т. к. None совместим с любым типом

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

Диапазон — специальный тип данных, являющейся приблизительным аналогом типа «генератор» в Python. К диапазону можно обращаться как к итератору и он будет поочередно выдавать элементы в указанном интервале с заданным шагом. Диапазон в тексте программы указывается как два или три элемента через две точки, например 1..5 — диапазон от единицы до пяти с шагом по умолчанию 1. В качестве параметров диапазона можно указывать не только литералы, но и имена переменных и даже рациональные числа. Например, 0,1..$stop..0,1 — диапазон от 0,1 до значения, указанного в переменной $stop с шагом 0,1 или 0..1\10 - диапазон рациональных числе от 0 до 10.

Native Data Types

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

Native (machine) data can be variables or functions, and the names of native objects start with the percent symbol “%”.

In the case of variables, these are binary data located in a single continuous area of machine memory at a specific address and have a strictly defined format.

To use existing libraries, you need to import the native object, thereby creating an object TrustLang, but with an implementation in another language, for example, in C/C++.

Иерархия типов и обобщения

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

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

С помощью обобщений (generics) можно писать код, который может работать с любым совместимым типом данных.

Фрагмент иерархии типов данных (строки и числа, а в скобках указаны синонимы типов):