That's a really good point. I'm not familiar with Unison, but I think that's the idea behind the language?

https://www.unison-lang.org/