You might find Unison interesting: https://www.unison-lang.org/docs/the-big-idea/