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

[deep_econom]

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

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

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

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

Comments

[deep_econom]

ВАЖНО
КОНТЕЙНЕРИЗАЦИЯ***Одним словом, в сознании следующий шаг (переход) - от выделения из реальности субъектов и объектов, их отношений, к спецификации субъектов и объектов

[deep_econom]

1. аллокация (размещение в памяти, работа с памятью)
2. контейниризация
3. трансформация
3.1. обобщенное изменение, обобщенное движение ?

4. Символизация/именование (неймизация)
- Icon/Name
5. Разметка - Mark
6. Связывание - Linker

7. Дефиницирование, терминизирование (типа создания сокращений, процедур, функций, модулей, лемм, теорем)

8. Протоколирование, логирование.

9. Адресация?
10. Идентификаторы приткнуть в п.4. или п.7,
это какието родственники с именами, именованием, терминизированием. ???

(так наверное)

[deep_econom]

3.1.1 Метаобъекты и протокол метаобъектов

[deep_econom]

Guile is a programming language

[deep_econom]

Более того, протокол метаобъектов - это не просто интерфейс к «лежащей в основе» реализации;
скорее, через метаобъектный протокол объектная система рекурсивно реализуется в терминах мета -объектной системы, которая сама теоретически реализуется в терминах мета -метаобъектной системы, и так далее до произвольного базового случая (непротиворечивого состояния объектной системы). ) определяется, при этом протокол как таковой представляет собой рекурсивную функциональную связь между этими уровнями реализации.

https://en.m.wikipedia.org/wiki/Metaobject

Протокол метаобъектов - это один из способов реализации аспектно-ориентированного программирования.
Многие из первых основателей MOP, включая Грегора Кицалеса , с тех пор стали главными сторонниками аспектно-ориентированного программирования.