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