Wouldn't you say the Unison programming language is the closest so far?

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