python_pele·2年前·讨论Unison has something similar to what you're talking about: https://www.unison-lang.org/