Have you seen Unison lang? It sounds like it overlaps (at least) with what you're talking about. > Unison’s core idea is that code is immutable and identified

Have you seen Unison lang? It sounds like it overlaps (at least) with what you're talking about. > Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management — Unison has no builds, no dependency conflicts, and renaming things is trivial. https://www.unisonweb.org/ https://www.unisonweb.org/ FWIW, I agree with you that the way we do things now is, uh, not the best of all possible worlds. I think Nix (and Guix) is a step in the right direction, though, but they don't go far enough.