История изменений

Видел diffxml — даже для деревьев уже некрасиво.

Ну вот. То есть если мы начинаем добавлять какие-то произвольные данные к тексту программ, то пользоваться тем же Git-ом станет затруднительно.

Проблема на самом деле вовсе не высосана из пальца, и не специфична только для топика, который мы тут обсуждаем. Из-за этой проблемы, например, проблематично (мягко говоря) версионировать девелоперские базы данных вместе с кодом.

А какая бы красота была! Зачекаутил код, схему, данные. Развернул в контейнере. Поработал. Что-то модифицировал. Закоммитил всё.

Нет, сейчас это не взлетит.

Короче, суть. Автоматический мерж более-менее хорошо определен для CRDT. И надо стараться в этот класс так или иначе попасть. К сожалению, программы в control flow в него не попадают (из-за отношения порядка). То же самое — dataflow, но там пространство для маневра немного больше.

И вот шальные мысли в моей пустоголовке говорят, что нам нужна новая репрезентация программы, которая была бы удобна для аугментирования метаданными и была бы максимально дружественна к автоматическому мержу (т.е. оптимизировать по этому параметру).

Видел diffxml — даже для деревьев уже некрасиво.

Ну вот. То есть если мы начинаем добавлять какие-то произвольные данные к тексту программ, то пользоваться тем же Git-ом станет затруднительно.

Проблема на самом деле вовсе не высосана из пальца, и не специфична только для топика, который мы тут обсуждаем. Из-за этой проблемы, например, проблематично (мягко говоря) версионировать девелоперские базы данных вместе с кодом.

А какая бы красота была! Зачекаутил код, схему, данные. Развернул в контейнере. Поработал. Что-то модифицировал. Закоммитил всё.

Нет, сейчас это не взлетит.