[ulrikrasmussen]

I think this is effectively achieved by the Unison language: https://www.unison-lang.org/learn/the-big-idea/

[davibu]

It would be really great if other languages could adopt this idea in their versioning system.

[gavinhoward]

I'm currently designing a programming language, and I just might adopt something like this for it.