I think this vision is also shared by Unison: https://unison-lang.org/