deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

аксиома метамодельности как полиморфизм полиморфизмов

полиморфизм полиморфизмов
аксиома метамодельности как выражение сути полиморфизма полиморфизмов
совсем смутные мысли для размышления )

типы данных
конструктор типов данных
модификатор типов данных

типы операций/процессов
конструктор типов операций/процессов
модификатор типов операций/процессов

сущности
конструктор сущностей
модификатор сущностей

сущности = (данные или процессы)
любые сущности представимы моделями

сущности = (модели данных или модели процессов)

данные можно считать тоже процессами, это как посмотреть
можно считать, что нет ничего кроме процессов

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

ну и как высшая степень полиморфизма (higher-kinded polymorphism) по сути это модель полиморфизма моделей...
ыыыыы.. ))
ну вот и приходим к аксиоме метамодельности )

в подражание названию аксиома унивалентности хочется назвать свою конструкцию аксиома метамодельности
формальная_модель=((a,b),(c,d))=((a->b)->(c->d))

аксиома метамодельности ((*,*),(*,*))
((*->*)->(*->*))

они все пишут о моделях
https://deep-econom.livejournal.com/313967.html
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 7 comments