Comment by ulrikrasmussen

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