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/

This is actually cool, gonna check it out.