Alexandr Savinov - Data Commander Публикации http://conceptoriented.org/
Что если бы ссылки были активными элементами программы?
https://savinov.livejournal.com/12042.html
--
Необходимость доменно-специфичных ссылок и моделирование ссылок в КОП
https://savinov.livejournal.com/12012.html
Система в этом случае может рассматриваться как разделенная на два слоя:
Первый слой отвечает за генерацию и управление ссылками, а также предоставление соответствующих процедур доступа
Второй слой это сама программа, где эти ссылки используются независимо от особенностей первого слоя
--
Темная материя компьютерной программы
https://savinov.livejournal.com/11722.html
Концептно-ориентированое программирование (КОП) и умные указатели в Си++
https://savinov.livejournal.com/11284.html
--
Легализация ссылок и их двойственность объектам
https://savinov.livejournal.com/10413.html
В концептно-ориентированном программировании такая легализация ссылок выполняется путем введения концептов, которые обобщают обычные классы. Концепт это пара, состоящая из одного класса ссылок и одного класса объектов. Экземпляры класса ссылок существуют в мире ссылок. Они передаются по значению и не имеют своих собственных ссылок. Экземпляры класса объектов существуют в мире объектов. Они передаются по ссылке, используя своих представителей из мира ссылок. Важно, что концепты позволяют моделировать объекты и ссылки с учетом их неразделимости и единства.
Наличие ссылки является главным и необходимым условием для всего, что хочет проявить или обнаружить себя как нечто реально существующее. Другими словами, без ссылки просто невозможно узнать, существует ли объект или нет.
--