черновик. метаязык метамоделей. (ЧММ - 4)

Dec 10, 2022 12:50

черновик. метаязык метамоделей. (ЧММ - 4)

===Сухой осадок===
Вернусь к осмыслению конструкций.
Конструкции: Mark, Icon, Linker.

Что же сделано по сути?

1. Формализовано создание имён (знаков/символов), по сути первый акт абстрагирования.
2. Формализовано остенсивное определение.

Больше ничего не сделано.
===
ps. Mark - синоним MarkUp - разметка.


Добавление к Итогам:

"@" = Icon(MarkUp(1))
Вот такое формирование спец.символов, имеет смысл наверное дополнять каким-то комментарием, который мы можем заполнять или нет.

["@", "Это спец.символ, которым мы обозначаем имена"]

При необходимости мы смотрим как на неформальную расшифровку, а можем не смотреть.
По сути это комментарий или иное определение на каком-либо ином стороннем языке, например, на естественном.
Можно смотреть как на доп.атрибут.
Также можно еще туда же напихать атрибутов, например само определение символа имени.

["@", "Это спец.символ, которым мы обозначаем имена", "@" = Icon(MarkUp(1)) ]

Получим нечто типа квайна.
---

["@", "Это спец.символ, которым мы обозначаем имена", "@" = Icon(MarkUp(1)) ]

Эта конструкция имеет следующий смысл:
1 поле - служебное слово
1.1. тут подполя еще можно делать, помещать синонимы, алиасы, с целью по иному называть, если хочется.

2 поле - неформальное описание высокого уровня
3 поле - формальный код процедуры/функции
--
Замечу, что любой спец.символ, спец.служ.слово у нас не играет роли, можно заменить на любое.
Ну естественно, замена должна быть "массовой" по всей цепочке определений и не иметь конфликта имен.

Также мы можем поступить и с иными функциями и служебными символами.

["MarkUp(N)", "Это спец.символ. Мы делаем запрос в буфер для получения данных любой природы, аргумент номер обращени.", "MarkUp(N)" = Buffer ]

["Linker", "Это спец.символ, связываем две сущности, создаем два взаимосвязанных узла, 1й узел имеет ссылку на второй, второй узел имеет ссылку на 1й", "Linker" = (Pointer(2), Pointer(1) ]

/* С форм.определением Linker я схитрил, но суть та же

Что в итоге мы имеем?

Некая табличная конструкция типа словаря в Форте.
Она получилась у меня случайно, сама собой возникла из логики построений.

Ну и также напоминает в языке программирования декларацию процедуры или функцию с комментарием.

===

Оглавление списка постов. Черновик. метаязык метамоделей

===
(типа введения)
поток сознания. язык, вычисления, метамоделирование, тотальный полимофизм.
https://deep-econom.livejournal.com/1085794.html

черновик. метаязык метамоделей. (ЧММ - 1)
https://deep-econom.livejournal.com/1051707.html
черновик. метаязык метамоделей. (ЧММ - 2)
https://deep-econom.livejournal.com/1052376.html
черновик. метаязык метамоделей. (ЧММ - 3)
https://deep-econom.livejournal.com/1053613.html
черновик. метаязык метамоделей. (ЧММ - 4)
https://deep-econom.livejournal.com/1058020.html

Про метаинтерпретатор. Meta. (ЧММ - 5)
https://deep-econom.livejournal.com/1087090.html

Метаинтерпретатор Meta. Алгоритм. (ЧММ - 6)
https://deep-econom.livejournal.com/1094124.html
===
Previous post Next post
Up