distributed universe of code

[wizzard]

Я вот смотрел на tagged DSLs от sorhed и akuklev, и мне пришло в голову, что оно то же самое, про что я сейчас думаю в контексте распределенных БД.
То есть, в графе обьектов (где транзакционность обеспечивается примерно как у Datomic) появляются typed references чтобы пройти по которым - надо ресолвить typedef и дальше исходя из него как-то интерпретировать дереференснутый блоб.

Typedef может быть задан явно или в свою очередь задан в схеме обьекта с котормы сейчас идет работа.
На этом также держится весь версионинг итд итп, ведь распределенная асинхронная бд еще означает что надо жить с нодами которые catching up и всё такое.

Да, если начать хранить в этой херне AST - то естественным образом получается universe of code (был недавно какой-то доклад на эту тему, в контексте Хаскеля, правда)