Модель как супертип.

Модель как супертип.

Я имею ввиду, что если объявлять "всё есть модель" то это у нас супертип получается с точки зрения теории типов.

универсальный супертип
https://en.wikipedia.org/wiki/Top_type
https://en.wikipedia.org/wiki/Any_type

подтип всех типов
универсальный подтип
https://en.wikipedia.org/wiki/Bottom_type

https://en.wikipedia.org/wiki/Nominal_type_system

https://en.wikipedia.org/wiki/Structural_type_system

https://en.wikipedia.org/wiki/Refinement_type

https://en.wikipedia.org/wiki/Behavioral_subtyping

https://ru.wikipedia.org/wiki/Обобщённое_программирование