This seems to be exactly what the Unison language [1] tries to do. I actually have been thinking about how the concept could be implemented for Rust. [1] http

This seems to be exactly what the Unison language [1] tries to do. I actually have been thinking about how the concept could be implemented for Rust. [1] https://news.ycombinator.com/item?id=22009912 https://news.ycombinator.com/item?id=22009912