OberonCore

Смотрите, здесь они синглтоны по той причине, что они вообще в такой же роли, как и объекты "метаинформации времени компиляции", условно говоря.
В том же статусе, как бы!
Только порождаются не компилятором, а динамически один раз при загрузке модуля.

Вот пример маленькой онтологии токенов для состояния двухпозиционного объекта в АСУТП (задвижки/клапана).
У каждого токена есть и TYPE, и VAR. Переменная-синглтон позволяет программно с ним работать как "с сущностью первого порядка" (в КП ведь типы не являются таковыми), а сам тип позволяет удобно статически указывать, что от чего расширено - и проверять по IS, ну и т.п.

В BEGIN модуля просто указывается KrlTokens.InitTokens(projId) - где projId - 32 бит, хэш от имени проекта (полный id токена порождается добавлением ещё 32 бит - хэша от имени переменной токена).
И все токены модуля создаются. У каждого токена можно узнать, кто он, метаинформацию о нём и т.п. Список его расширений в том числе. Или у токена, соответствующего SQL-таблице, можно узнать список токенов-полей.

Ещё на скрине видно "_0" у имени. Это чтобы указать значение по умолчанию для свойств данного типа TwinPosT.

Для онтологий токенов поддерживается не только древовидное наследование, но и грани (facets) (типа как mixins).

Пример токенов для тегов АСУТП. Тип токенов для булевых тегов, дальше определяется булев тег с фиксацией времени изменения, булев тег с семантикой команды (нисходящий поток информации в АСУТП) и булев тег с семантикой сигнала (восходящий поток информации в АСУТП).



А вот уже в библиотеке более конкретной расширением от типов тегов определены токены для разных сигналов ввода-вывода (контакторы, автоматы, разные режимы коммутации оборудования).

В принципе, сейчас мы определяем токены прямо в коде, в виде, известном компилятору.

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

Илья Евгеньевич, напишите уже полноценную статью про токены на сайт. Сколько можно по разным темам рассовывать пояснения?

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

Ждал, ждал ... возможно, что пропустил. Статья где-то уже опубликована?

Такое впечатление, что могло бы быть серьёзным прорывом в технологии ...
.

Почему? В принципе, это похоже на Java enum. Хотя для них, порой, и не хватает иерархичности, прорывом они и с нею не стали бы.

Запись этого мероприятия наконец-то смонтирована и опубликована.
https://youtu.be/HgcIV4v_Plc

Со звуком хоть что-то было сделано? Лучше всего вышла перестановка мокрофона на трибунку в начале )-8Ж (чётко слышно: дубовая-деревянная).

Звук был усилен. Если кто-то возьмётся обработать трек лучше -- я не возражаю.

Там при съёмке было две грубых ошибки. Но мы появились прямо перед началом. Да и после 380 км за рулём, я как-то не особо соображал сходу. Теперь уже как есть.

На пробу: по 45 с "до" и "после обработки"