Коллекции 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.

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) можно писать код, который может работать с любым совместимым типом данных.

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